Go to the corresponding LIPIcs Volume Portal 
Dose, Titus ; Glaßer, Christian
pdfformat: 

@InProceedings{dose_et_al:LIPIcs:2020:11870, author = {Titus Dose and Christian Gla{\ss}er}, title = {{NPCompleteness, Proof Systems, and Disjoint NPPairs}}, booktitle = {37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020)}, pages = {9:19:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771405}, ISSN = {18688969}, year = {2020}, volume = {154}, editor = {Christophe Paul and Markus Bl{\"a}ser}, publisher = {Schloss DagstuhlLeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2020/11870}, URN = {urn:nbn:de:0030drops118707}, doi = {10.4230/LIPIcs.STACS.2020.9}, annote = {Keywords: NPcomplete, propositional proof system, disjoint NPpair, oracle} }
Keywords:  NPcomplete, propositional proof system, disjoint NPpair, oracle  
Collection:  37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020)  
Issue Date:  2020  
Date of publication:  04.03.2020 