Keyphrases
- boolean satisfiability
- sat solvers
- propositional formulas
- cnf formula
- search space
- satisfiability problem
- boolean formula
- search algorithm
- sat problem
- clause learning
- propositional satisfiability
- conjunctive normal form
- probabilistic planning
- symmetry breaking
- max sat
- branch and bound algorithm
- background knowledge
- np complete
- stochastic local search algorithms
- random sat
- random sat instances
- learning algorithm
- horn clauses
- first order logic
- sat solving
- davis putnam
- unit propagation