ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection and benchmark suite.
Chih-Jen HsuWei-Hsun LinChi-An WuKei-Yong KhooPublished in: ICCAD (2014)
Keyphrases
- sat solvers
- benchmark suite
- sat solving
- sat instances
- orders of magnitude
- search space
- propositional satisfiability
- search strategies
- constraint satisfaction
- boolean satisfiability
- max sat
- sat problem
- search tree
- optimization problems
- boolean formula
- clause learning
- bit rate
- constraint solver
- information retrieval
- document retrieval
- sat encodings
- genetic algorithm