Ian Mertz, Toniann Pitassi, Yuanhao Wei. Short Proofs Are Hard to Find. In Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi, editors, 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece. Volume 132 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
@inproceedings{MertzPW19,
title = {Short Proofs Are Hard to Find},
author = {Ian Mertz and Toniann Pitassi and Yuanhao Wei},
year = {2019},
doi = {10.4230/LIPIcs.ICALP.2019.84},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.84},
researchr = {https://researchr.org/publication/MertzPW19},
cites = {0},
citedby = {0},
booktitle = {46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece},
editor = {Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi},
volume = {132},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-109-2},
}