Keyphrases
- sat solvers
- boolean formula
- orders of magnitude
- max sat
- sat solving
- boolean satisfiability
- constraint satisfaction
- search space
- search tree
- sat problem
- propositional satisfiability
- sat instances
- search strategies
- sat encodings
- clause learning sat solvers
- weighted max sat
- constraint satisfaction problems
- linear programming
- search engine
- boolean variables