Generating Difficult SAT Instances by Preventing Triangles.
Guillaume EscamocherBarry O'SullivanSteven David PrestwichPublished in: CoRR (2019)
Keyphrases
- sat instances
- sat solvers
- satisfiability problem
- randomly generated
- stochastic local search
- database
- computational complexity
- dynamic programming
- document retrieval
- boolean satisfiability
- computational properties
- phase transition
- utility function
- constraint satisfaction problems
- optimization problems
- reinforcement learning
- artificial intelligence