Search Results for author: Edward Zulkoski

Found 1 papers, 0 papers with code

Relating Complexity-theoretic Parameters with SAT Solver Performance

no code implementations26 Jun 2017 Edward Zulkoski, Ruben Martins, Christoph Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh

Over the years complexity theorists have proposed many structural parameters to explain the surprising efficiency of conflict-driven clause-learning (CDCL) SAT solvers on a wide variety of large industrial Boolean instances.

Cannot find the paper you are looking for? You can Submit a new open access paper.