research
∙
10/18/2019
P-Optimal Proof Systems for Each coNP-Complete Set and no Complete Problems in NP∩coNP Relative to an Oracle
We build on a working program initiated by Pudlák [Pud17] and construct ...
share
research
∙
10/18/2019
P-Optimal Proof Systems for Each Set in coNP and no Complete Problems in NP∩coNP Relative to an Oracle
We build on a working program initiated by Pudlák [Pud17] and construct ...
research
∙
09/05/2019
PNP and All Non-Empty Sets in NP∪coNP Have P-Optimal Proof Systems Relative to an Oracle
As one step in a working program initiated by Pudlák [Pud17] we construc...
research
∙
09/05/2019
PNP and All Sets in NP∪coNP Have P-Optimal Proof Systems Relative to an Oracle
As one step in a working program initiated by Pudlák [Pud17] we construc...
research
∙
04/11/2019
P-Optimal Proof Systems for Each Set in NP but no Complete Disjoint NP-pairs Relative to an Oracle
Consider the following conjectures: - DisjNP: there exist no many-one ...
research
∙
03/28/2019