Recursive Backdoors for SAT.
Nikolas MählmannSebastian SiebertzAlexandre VignyPublished in: CoRR (2021)
Keyphrases
- sat solvers
- satisfiability problem
- sat instances
- sat problem
- search algorithm
- orders of magnitude
- propositional satisfiability
- chronological backtracking
- sat solving
- search tree
- stochastic local search algorithms
- boolean satisfiability
- np complete
- hidden structure
- max sat
- stochastic local search
- constraint satisfaction
- randomly generated
- phase transition
- search strategies
- search space
- learning algorithm
- recursive functions
- boolean formula
- computational properties
- recursive algorithm
- search procedures
- constraint satisfaction problems
- temporal logic
- heuristic search