Publications
-
On the Hierarchical Community Structure of Practical SAT Formulas
Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, and Vijay Ganesh
[pdf] [bib] -
Towards a Complexity-theoretic Understanding of Restarts in SAT solvers
Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh
The 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020)
[pdf] [bib] [slides] [talk] -
The Proof Complexity of SMT Solvers
Robert Robere, Antonina Kolkolova, and Vijay Ganesh
30th International Conference on Computer Aided Verification (CAV 2018)
[pdf] [bib] [slides] -
Learning-Sensitive Backdoors with Restarts
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki and Vijay Ganesh
24th International Conference on Principles and Practice of Constraint Programming (CP 2018)
August 27, 2018
[pdf] [bib] -
The Effect of Structural Measures and Merges on SAT Solver Performance
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Liang, Krzysztof Czarnecki and Vijay Ganesh
24th International Conference on Principles and Practice of Constraint Programming (CP 2018)
August 27, 2018
[pdf] [bib] -
Empirically Relating Complexity-theoretic Parameters with SAT Solver Performance
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki and Vijay Ganesh
Pragmatics of Constraint Reasoning (PoCR 2017)
August 28, 2017
[pdf] [bib]