Skip to content

McGill University / Computer Science

Associate Professor · Computational Complexity · Proof Complexity

about advising research lab teaching fun news

← all research papers

The Proof Complexity of SMT Solvers

Robert Robere, Antonina Kolokolova, Vijay Ganesh.

CAV 2018.

Robert Robere · McGill University Back to top ↑