3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General
Timon HertliPublished in: CoRR (2011)
Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- stochastic local search
- sat solving
- propositional satisfiability
- special case
- lower bound
- search algorithm
- boolean satisfiability
- phase transition
- neural network
- closely related
- upper bound
- lower and upper bounds
- upper and lower bounds
- sat encodings
- search strategies
- temporal logic
- np complete