Keyphrases
- sat solvers
- sat solving
- sat problem
- boolean satisfiability
- clause learning
- boolean formula
- satisfiability problem
- sat instances
- constraint solver
- orders of magnitude
- search strategies
- maximum satisfiability
- weighted max sat
- constraint satisfaction
- satisfiability modulo theories
- search tree
- combinatorial optimization
- max sat
- propositional satisfiability
- randomly generated
- branch and bound algorithm
- search algorithm
- graph coloring
- ip networks
- optimal solution
- probabilistic planning
- phase transition
- unit propagation
- constraint satisfaction problems
- search space