Login / Signup
Local Consistency and SAT-Solvers.
Peter Jeavons
Justyna Petke
Published in:
CoRR (2014)
Keyphrases
</>
sat solvers
orders of magnitude
max sat
constraint satisfaction
sat solving
search space
sat problem
propositional satisfiability
boolean satisfiability
search tree
sat instances
search strategies
clause learning
boolean formula
sat encodings
special case
weighted max sat
global constraints
lower bound
upper bound