Login / Signup
The Effect of Structural Measures and Merges on SAT Solver Performance.
Edward Zulkoski
Ruben Martins
Christoph M. Wintersteiger
Jia Hui Liang
Krzysztof Czarnecki
Vijay Ganesh
Published in:
CP (2018)
Keyphrases
</>
sat solvers
sat solving
orders of magnitude
boolean satisfiability
search tree
sat problem
propositional satisfiability
constraint satisfaction
sat instances
search strategies
search space
max sat
constraint solver
learning algorithm
special case
evolutionary algorithm
sat encodings