Bosphorus: Bridging ANF and CNF Solvers.
Davin ChooMate SoosKian Ming Adam ChaiKuldeep S. MeelPublished in: DATE (2019)
Keyphrases
- sat solvers
- sat solving
- clause learning
- sat instances
- orders of magnitude
- constraint satisfaction
- boolean functions
- sat problem
- search space
- search strategies
- propositional satisfiability
- boolean satisfiability
- max sat
- exact computation
- disk resident
- memory efficient
- satisfiability problem
- boolean formula
- knowledge compilation
- digital divide
- conjunctive normal form
- numerically stable
- computational complexity