"Short Proofs Are Hard to Find."

Ian Mertz, Toniann Pitassi, Yuanhao Wei (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics