Keyphrases
- sat solvers
- sat problem
- satisfiability problem
- sat solving
- propositional satisfiability
- max sat
- phase transition
- boolean satisfiability
- pseudo boolean constraints
- stochastic local search
- sat instances
- search strategies
- artificial intelligence
- search algorithm
- variable ordering
- learning algorithm
- backtracking search
- database
- temporal logic
- np complete
- logic programs
- simulated annealing
- state space
- knowledge base