Keyphrases
- boolean formula
- boolean variables
- satisfiability testing
- sat solvers
- truth assignment
- variable ordering
- cnf formula
- boolean satisfiability
- search space
- satisfiability problem
- sat problem
- randomly chosen
- np complete
- clause learning
- stochastic local search
- linear constraints
- sat solving
- practical problems
- sat instances
- curved surfaces
- planar graphs
- conjunctive normal form
- sat encodings
- image sequences
- davis putnam
- d scene
- integer linear programming