Keyphrases
- boolean formula
- boolean variables
- variable ordering
- truth assignment
- sat solvers
- satisfiability testing
- cnf formula
- search space
- boolean satisfiability
- randomly chosen
- unit propagation
- satisfiability problem
- clause learning
- search algorithm
- sat solving
- sat problem
- ground plane
- propositional satisfiability
- stochastic local search
- np complete
- practical problems
- propositional logic
- membership queries
- conjunctive normal form
- sat instances
- branch and bound algorithm
- max sat