Go to the corresponding LIPIcs Volume Portal 
Blanc, Guy ; Koch, Caleb ; Lange, Jane ; Strassle, Carmen ; Tan, LiYang
pdfformat: 

@InProceedings{blanc_et_al:LIPIcs.ITCS.2023.18, author = {Blanc, Guy and Koch, Caleb and Lange, Jane and Strassle, Carmen and Tan, LiYang}, title = {{Certification with an NP Oracle}}, booktitle = {14th Innovations in Theoretical Computer Science Conference (ITCS 2023)}, pages = {18:118:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959772631}, ISSN = {18688969}, year = {2023}, volume = {251}, editor = {Tauman Kalai, Yael}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2023/17521}, URN = {urn:nbn:de:0030drops175217}, doi = {10.4230/LIPIcs.ITCS.2023.18}, annote = {Keywords: Certificate complexity, Boolean functions, polynomial hierarchy, hardness of approximation} }
Keywords:  Certificate complexity, Boolean functions, polynomial hierarchy, hardness of approximation  
Collection:  14th Innovations in Theoretical Computer Science Conference (ITCS 2023)  
Issue Date:  2023  
Date of publication:  01.02.2023 