Accelerating All-SAT Computation with Short Blocking Clauses.
Yueling ZhangGeguang PuJun SunPublished in: ASE (2020)
Keyphrases
- boolean satisfiability
- sat solvers
- search algorithm
- search space
- first order logic
- lower bound
- boolean formula
- np hard
- constraint satisfaction
- normal form
- search strategies
- phase transition
- satisfiability problem
- propositional logic
- record linkage
- stochastic local search
- clause learning
- propositional formulas
- optimal solution