Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures.
Edward ZulkoskiCurtis BrightAlbert HeinleIlias S. KotsireasKrzysztof CzarneckiVijay GaneshPublished in: J. Autom. Reason. (2017)
Keyphrases
- sat solvers
- computer algebra systems
- theorem prover
- orders of magnitude
- propositional satisfiability
- sat solving
- constraint satisfaction
- sat problem
- computer algebra
- sat instances
- max sat
- search tree
- search strategies
- boolean satisfiability
- search space
- clause learning
- automated reasoning
- artificial intelligence
- heuristic search
- sat encodings
- weighted max sat
- objective function