Keyphrases
- satisfiability problem
- np complete
- sat solvers
- constraint satisfaction
- tractable classes
- sat problem
- boolean satisfiability
- search algorithm
- propositional satisfiability
- pseudo boolean constraints
- sat solving
- stochastic local search
- phase transition
- computational complexity
- stochastic local search algorithms
- sat instances
- constraint satisfaction problems
- max sat
- reasoning problems
- orders of magnitude
- genetic algorithm
- randomly generated
- search strategies