Short Proofs Are Hard to Find

From MaRDI portal
Publication:5091243

DOI10.4230/LIPIcs.ICALP.2019.84OpenAlexW2969433745MaRDI QIDQ5091243

Toniann Pitassi, Yuanhao Wei, Ian Mertz

Publication date: 21 July 2022

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2019/10660/pdf/LIPIcs-ICALP-2019-84.pdf




Related Items (1)



Cites Work


This page was built for publication: Short Proofs Are Hard to Find