A novel SAT solver for the Van der Waerden numbers
Abd El-Maksoud, M. (2019). A novel SAT solver for the Van der Waerden numbers. EKB Journal Management System, 27(1), 1-10. doi: 10.1186/s42787-019-0021-1
Munira A. Abd El-Maksoud. "A novel SAT solver for the Van der Waerden numbers". EKB Journal Management System, 27, 1, 2019, 1-10. doi: 10.1186/s42787-019-0021-1
Abd El-Maksoud, M. (2019). 'A novel SAT solver for the Van der Waerden numbers', EKB Journal Management System, 27(1), pp. 1-10. doi: 10.1186/s42787-019-0021-1
Abd El-Maksoud, M. A novel SAT solver for the Van der Waerden numbers. EKB Journal Management System, 2019; 27(1): 1-10. doi: 10.1186/s42787-019-0021-1

A novel SAT solver for the Van der Waerden numbers

Journal of the Egyptian Mathematical Society
Volume 27, Issue 1, 2019, Page 1-10  XML PDF (684.34 K)
DOI: 10.1186/s42787-019-0021-1
View on SCiNiTO View on SCiNiTO
Author
Munira A. Abd El-Maksoud
Department of Mathematics, Faculty of Science, Cairo, Egypt
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.
Keywords
Satisfiability; Van der Waerden numbers; DPLL; SAT solvers; MINISAT
Statistics
Article View: 50
PDF Download: 52