Keyphrases
- quantified boolean formulas
- propositional satisfiability
- boolean formula
- sat solvers
- boolean satisfiability
- sat solving
- sat problem
- davis putnam
- quantified boolean formulae
- propositional logic
- satisfiability problem
- conjunctive normal form
- sat instances
- orders of magnitude
- practical problems
- max sat
- stochastic local search
- constraint programming
- phase transition
- np complete
- automated reasoning
- constraint satisfaction
- industrial applications
- decision procedures
- integer linear programming
- search algorithm
- probabilistic planning
- search strategies
- variable ordering
- graph coloring
- tabu search
- stochastic local search algorithms
- satisfiability testing