A novel SAT solver for the van der Waerden numbers (Q2338161)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A novel SAT solver for the van der Waerden numbers |
scientific article |
Statements
A novel SAT solver for the van der Waerden numbers (English)
0 references
21 November 2019
0 references
satisfiability
0 references
van der Waerden numbers
0 references
DPLL
0 references
SAT solvers
0 references
MINISAT
0 references
