McGill University / Computer Science

Robert Robere

Associate Professor · Computational Complexity · Proof Complexity

← all research papers

Automating Algebraic Proof Systems is NP-Hard

Susanna F. de Rezende, Mika Göös, Jakob Nördstrom, Toniann Pitassi, Robert Robere, Dmitry Sokolov.

STOC 2021. [ECCC]