Keyphrases
- satisfiability problem
- sat solvers
- propositional satisfiability
- sat solving
- sat problem
- search algorithm
- phase transition
- boolean satisfiability
- max sat
- search strategies
- sat encodings
- np complete
- search procedures
- pseudo boolean constraints
- stochastic local search algorithms
- stochastic local search
- knowledge representation
- industrial applications
- np complete problems
- propositional logic
- knowledge base
- heuristic search
- backtracking search
- satisfiability testing
- constraint satisfaction