A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract).
Zhengyu LiCurtis BrightVijay GaneshPublished in: AAAI (2024)
Keyphrases
- computer algebra
- sat solvers
- orders of magnitude
- sat solving
- theorem prover
- constraint satisfaction
- search strategies
- sat problem
- boolean satisfiability
- sat instances
- propositional satisfiability
- search space
- max sat
- computer algebra systems
- constraint solver
- automated theorem provers
- clause learning
- sat encodings
- boolean formula
- optimization problems