Short Proofs Are Hard to FindMarkIan Mertz[0]Toniann Pitassi[0]Yuanhao WeiICALP, 2019.Cited by: 3|Bibtex|Views25|DOI:https://doi.org/10.4230/LIPIcs.ICALP.2019.84EI Other Links: dblp.uni-trier.de|academic.microsoft.comCode: Data: Full Text (Upload PDF)PPT (Upload PPT)Upload PDFUpload PPTYour rating :0 TagsCommentsSubmit
