Login / Signup
Effectiveness of pre- and inprocessing for CDCL-based SAT solving.
Andreas Wotzlaw
Alexander van der Grinten
Ewald Speckenmeyer
Published in:
CoRR (2013)
Keyphrases
</>
sat solving
sat solvers
sat encodings
boolean satisfiability
orders of magnitude
clause learning
sat problem
search strategies
constraint satisfaction
search tree
max sat
sat instances
search space
propositional satisfiability
answer sets
symmetry breaking