Accelerating All-SAT Computation with Short Blocking Clauses.

Yueling Zhang Geguang Pu Jun Sun

Published 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