A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem.
Zhengyu LiCurtis BrightVijay GaneshPublished in: CoRR (2023)
Keyphrases
- computer algebra
- sat solvers
- sat solving
- orders of magnitude
- sat problem
- theorem prover
- search strategies
- constraint satisfaction
- sat instances
- boolean satisfiability
- propositional satisfiability
- search space
- max sat
- sat encodings
- constraint solver
- computer algebra systems
- randomly generated
- automated theorem provers
- boolean formula
- search strategy
- machine learning
- clause learning
- first order logic
- relevance feedback
- expert systems
- genetic algorithm
- information retrieval