Applying computer algebra systems with SAT solvers to the Williamson conjecture.
Curtis BrightIlias S. KotsireasVijay GaneshPublished in: J. Symb. Comput. (2020)
Keyphrases
- sat solvers
- computer algebra systems
- orders of magnitude
- constraint satisfaction
- max sat
- propositional satisfiability
- sat problem
- search space
- sat solving
- boolean satisfiability
- search tree
- search strategies
- computer algebra
- sat instances
- sat encodings
- theorem prover
- propositional logic
- phase transition
- stochastic local search
- branch and bound
- clause learning
- constraint satisfaction problems
- knowledge representation
- search engine