Keyphrases
- sat solvers
- search tree
- search strategies
- constraint satisfaction
- variable ordering
- propositional satisfiability
- sat solving
- orders of magnitude
- sat problem
- max sat
- optimal solution
- boolean satisfiability
- sat instances
- search space
- branch and bound
- search algorithm
- exact algorithms
- random sat instances
- simulated annealing
- search strategy
- dynamic programming
- constraint programming
- boolean formula
- combinatorial optimization
- stochastic local search
- integer linear programming
- sat encodings
- constraint satisfaction problems
- unsatisfiable cores
- np complete
- constraint solver
- satisfiability problem
- tabu search
- phase transition