Recursive Backdoors for SAT.
Nikolas MählmannSebastian SiebertzAlexandre VignyPublished in: MFCS (2021)
Keyphrases
- sat solvers
- satisfiability problem
- sat instances
- sat problem
- orders of magnitude
- chronological backtracking
- propositional satisfiability
- boolean satisfiability
- sat solving
- constraint satisfaction
- search algorithm
- phase transition
- temporal logic
- np complete
- randomly generated
- max sat
- stochastic local search
- search space
- stochastic local search algorithms
- recursive functions
- search tree
- recursive algorithm
- answer sets
- lower bound