BOSPHORUS: Bridging ANF and CNF Solvers.
Davin ChooMate SoosKian Ming Adam ChaiKuldeep S. MeelPublished in: CoRR (2018)
Keyphrases
- sat solvers
- sat solving
- clause learning
- sat instances
- boolean functions
- orders of magnitude
- max sat
- constraint satisfaction
- memory efficient
- search space
- propositional satisfiability
- satisfiability problem
- neural network
- search strategies
- disk resident
- knowledge compilation
- sat problem
- digital divide
- hidden markov models
- boolean satisfiability
- conjunctive normal form
- sat encodings
- exact computation
- computationally hard problems
- highly optimized
- computational properties