Keyphrases
- satisfiability problem
- sat solvers
- sat problem
- propositional satisfiability
- search algorithm
- planar surfaces
- stochastic local search
- stochastic local search algorithms
- np complete
- search procedures
- sat instances
- data sets
- boolean satisfiability
- gallium arsenide
- propositional logic
- ground plane
- line drawings
- graph coloring