Skip to content

McGill University / Computer Science

Associate Professor · Computational Complexity · Proof Complexity

about advising research lab teaching fun news

← all research papers

Colourful TFNP and Propositional Proofs

Ben Davis and Robert Robere.

CCC 2023. [ECCC]

Robert Robere · McGill University Back to top ↑