Generating Hard Satisfiability Problems.
Bart SelmanDavid G. MitchellHector J. LevesquePublished in: Artif. Intell. (1996)
Keyphrases
- constraint satisfaction
- satisfiability problem
- phase transition
- constraint satisfaction problems
- graph coloring problems
- random sat
- np complete
- sat problem
- stochastic local search
- search algorithm
- stochastic local search algorithms
- temporal logic
- solving hard
- max sat
- search procedures
- pspace complete
- search strategies
- reinforcement learning
- sat instances
- evolutionary algorithm