Evaluating state-of-the-art # SAT solvers on industrial configuration spaces.
Chico SundermannTobias HeßMichael NiekePaul Maximilian BittnerJeffrey M. YoungThomas ThümIna SchaeferPublished in: Empir. Softw. Eng. (2023)
Keyphrases
- sat solvers
- orders of magnitude
- max sat
- constraint satisfaction
- propositional satisfiability
- sat solving
- boolean satisfiability
- sat problem
- search space
- search tree
- sat instances
- search strategies
- industrial applications
- weighted max sat
- clause learning
- clause learning sat solvers
- boolean formula
- information retrieval
- answer sets
- sat encodings
- phase transition
- search algorithm