Keyphrases
- sat problem
- sat solving
- sat instances
- sat solvers
- np complete problems
- satisfiability problem
- stochastic local search
- weighted max sat
- np complete
- randomly generated
- random sat instances
- propositional satisfiability
- phase transition
- boolean satisfiability
- boolean formula
- max sat
- cnf formula
- constraint satisfaction problems
- temporal logic
- davis putnam
- branch and bound
- orders of magnitude
- clause learning
- random sat
- propositional formulas
- constraint satisfaction
- graph coloring
- decision problems
- unit propagation
- special case
- branch and bound algorithm
- search algorithm