Department of Mathematics, Faculty of Science, Cairo, Egypt
https://doi.org/10.1186/s42787-019-0021-1
Abstract
This paper introduces a new efficient satisfiability problem (SAT) solver, negative-literal Van der Waerden numbers SAT solver (NegVanSAT). It is a modification of the well-known SAT solver MINISAT where the constructor of the literals has been adjusted to start with the negated literals first. It reduces the calculations needed to solve a problem. The NegVanSAT is specifically designed for solving the satisfiability problem of finding Van der Waerden numbers, which are known to be very difficult to compute. Comparisons between the MINISAT and the proposed NegVanSAT show that the latter outperforms the MINISAT in finding many of them.
Abd El-Maksoud, M. (2019). A novel SAT solver for the Van der Waerden numbers. Journal of the Egyptian Mathematical Society, 27(1), 1-10. doi: https://doi.org/10.1186/s42787-019-0021-1
MLA
Munira A. Abd El-Maksoud. "A novel SAT solver for the Van der Waerden numbers". Journal of the Egyptian Mathematical Society, 27, 1, 2019, 1-10. doi: https://doi.org/10.1186/s42787-019-0021-1
HARVARD
Abd El-Maksoud, M. (2019). 'A novel SAT solver for the Van der Waerden numbers', Journal of the Egyptian Mathematical Society, 27(1), pp. 1-10. doi: https://doi.org/10.1186/s42787-019-0021-1
VANCOUVER
Abd El-Maksoud, M. A novel SAT solver for the Van der Waerden numbers. Journal of the Egyptian Mathematical Society, 2019; 27(1): 1-10. doi: https://doi.org/10.1186/s42787-019-0021-1
)
