Search Results for author: Robert Robere

Found 2 papers, 0 papers with code

On the Power and Limitations of Branch and Cut

no code implementations9 Feb 2021 Noah Fleming, Mika Göös, Russell Impagliazzo, Toniann Pitassi, Robert Robere, Li-Yang Tan, Avi Wigderson

In a recent (and surprising) result, Dadush and Tiwari showed that these short refutations of the Tseitin formulas could be translated into quasi-polynomial size and depth Cutting Planes proofs, refuting a long-standing conjecture.

Computational Complexity

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.