Keyphrases
- satisfiability problem
- sat problem
- phase transition
- satisfiability testing
- sat solving
- sat instances
- stochastic local search
- np complete
- sat encodings
- sat solvers
- search algorithm
- davis putnam logemann loveland
- propositional satisfiability
- davis putnam
- temporal logic
- boolean satisfiability
- boolean formula
- stochastic local search algorithms
- randomly generated
- max sat
- random sat
- cnf formula
- propositional logic
- branch and bound
- constraint satisfaction problems
- unit propagation
- random sat instances
- first order logic
- decision procedures
- propositional formulas
- search space
- conjunctive normal form
- constraint satisfaction
- search procedures
- np complete problems
- pseudo boolean constraints
- combinatorial optimization
- knowledge base
- tabu search
- graph coloring
- decision problems
- combinatorial problems
- industrial applications
- branch and bound algorithm