A novel SAT solver for the Van der Waerden numbers
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 fi...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
SpringerOpen
2019-07-01
|
| Series: | Journal of the Egyptian Mathematical Society |
| Subjects: | |
| Online Access: | http://link.springer.com/article/10.1186/s42787-019-0021-1 |