Some Pitfalls for Experimenters with Random SAT.
David G. MitchellHector J. LevesquePublished in: Artif. Intell. (1996)
Keyphrases
- random sat
- phase transition
- satisfiability problem
- sat problem
- random sat instances
- random constraint satisfaction problems
- boolean satisfiability
- max sat
- np complete
- constraint satisfaction
- sat instances
- randomly generated
- combinatorial problems
- stochastic local search
- sat solvers
- graph coloring
- dynamic programming
- decision problems
- linear programming