McGill University / Computer Science

Robert Robere

Associate Professor · Computational Complexity · Proof Complexity

← all research papers

Stabbing Planes.

Paul Beame, Noah Fleming, Russell Impagliazzo, Antonina Kolokolova, Denis Pankratov, Toniann Pitassi, Robert Robere.

ITCS 2018. [ECCC]