Login / Signup
Relating Complexity-theoretic Parameters with SAT Solver Performance.
Edward Zulkoski
Ruben Martins
Christoph M. Wintersteiger
Robert Robere
Jia Liang
Krzysztof Czarnecki
Vijay Ganesh
Published in:
CoRR (2017)
Keyphrases
</>
sat solvers
complexity theoretic
sat solving
sat instances
constraint satisfaction
orders of magnitude
propositional satisfiability
search algorithm
search space
search strategies
sat problem
max sat