Matches in SemOpenAlex for { <https://semopenalex.org/work/W1601118608> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1601118608 abstract "For a proof system P we introduce the complexity class DNPP(P) of all disjoint NP-pairs for which the disjointness of the pair is efficiently provable in the proof system P. We exhibit structural properties of proof systems which make the previously defined canonical NP-pairs of these proof systems hard or complete for DNPP(P). Moreover we demonstrate that non-equivalent proof systems can have equivalent canonical pairs and that depending on the properties of the proof systems different scenarios for DNPP(P) and the reductions between the canonical pairs exist." @default.
- W1601118608 created "2016-06-24" @default.
- W1601118608 creator A5042128349 @default.
- W1601118608 date "2006-01-01" @default.
- W1601118608 modified "2023-09-27" @default.
- W1601118608 title "Disjoint NP-Pairs from Propositional Proof Systems" @default.
- W1601118608 cites W1526602951 @default.
- W1601118608 cites W1964394232 @default.
- W1601118608 cites W1988083342 @default.
- W1601118608 cites W1999069928 @default.
- W1601118608 cites W2044095368 @default.
- W1601118608 cites W2044632231 @default.
- W1601118608 cites W2068363706 @default.
- W1601118608 cites W2080818057 @default.
- W1601118608 cites W2081065305 @default.
- W1601118608 cites W2085634981 @default.
- W1601118608 cites W2108974758 @default.
- W1601118608 cites W2114427270 @default.
- W1601118608 cites W2158029166 @default.
- W1601118608 cites W2159170152 @default.
- W1601118608 cites W2161149481 @default.
- W1601118608 cites W2171353564 @default.
- W1601118608 cites W2174367614 @default.
- W1601118608 cites W2385171024 @default.
- W1601118608 doi "https://doi.org/10.1007/11750321_23" @default.
- W1601118608 hasPublicationYear "2006" @default.
- W1601118608 type Work @default.
- W1601118608 sameAs 1601118608 @default.
- W1601118608 citedByCount "9" @default.
- W1601118608 crossrefType "book-chapter" @default.
- W1601118608 hasAuthorship W1601118608A5042128349 @default.
- W1601118608 hasBestOaLocation W16011186082 @default.
- W1601118608 hasConcept C105605280 @default.
- W1601118608 hasConcept C108710211 @default.
- W1601118608 hasConcept C111919701 @default.
- W1601118608 hasConcept C114614502 @default.
- W1601118608 hasConcept C118615104 @default.
- W1601118608 hasConcept C124978682 @default.
- W1601118608 hasConcept C154945302 @default.
- W1601118608 hasConcept C195653647 @default.
- W1601118608 hasConcept C202444582 @default.
- W1601118608 hasConcept C204707403 @default.
- W1601118608 hasConcept C2318724 @default.
- W1601118608 hasConcept C2524010 @default.
- W1601118608 hasConcept C2777212361 @default.
- W1601118608 hasConcept C33923547 @default.
- W1601118608 hasConcept C41008148 @default.
- W1601118608 hasConcept C45340560 @default.
- W1601118608 hasConceptScore W1601118608C105605280 @default.
- W1601118608 hasConceptScore W1601118608C108710211 @default.
- W1601118608 hasConceptScore W1601118608C111919701 @default.
- W1601118608 hasConceptScore W1601118608C114614502 @default.
- W1601118608 hasConceptScore W1601118608C118615104 @default.
- W1601118608 hasConceptScore W1601118608C124978682 @default.
- W1601118608 hasConceptScore W1601118608C154945302 @default.
- W1601118608 hasConceptScore W1601118608C195653647 @default.
- W1601118608 hasConceptScore W1601118608C202444582 @default.
- W1601118608 hasConceptScore W1601118608C204707403 @default.
- W1601118608 hasConceptScore W1601118608C2318724 @default.
- W1601118608 hasConceptScore W1601118608C2524010 @default.
- W1601118608 hasConceptScore W1601118608C2777212361 @default.
- W1601118608 hasConceptScore W1601118608C33923547 @default.
- W1601118608 hasConceptScore W1601118608C41008148 @default.
- W1601118608 hasConceptScore W1601118608C45340560 @default.
- W1601118608 hasLocation W16011186081 @default.
- W1601118608 hasLocation W16011186082 @default.
- W1601118608 hasLocation W16011186083 @default.
- W1601118608 hasOpenAccess W1601118608 @default.
- W1601118608 hasPrimaryLocation W16011186081 @default.
- W1601118608 hasRelatedWork W104007018 @default.
- W1601118608 hasRelatedWork W1054254092 @default.
- W1601118608 hasRelatedWork W1521975091 @default.
- W1601118608 hasRelatedWork W1550921032 @default.
- W1601118608 hasRelatedWork W1563709510 @default.
- W1601118608 hasRelatedWork W1649430738 @default.
- W1601118608 hasRelatedWork W1676672341 @default.
- W1601118608 hasRelatedWork W1993478355 @default.
- W1601118608 hasRelatedWork W20075351 @default.
- W1601118608 hasRelatedWork W2028514779 @default.
- W1601118608 isParatext "false" @default.
- W1601118608 isRetracted "false" @default.
- W1601118608 magId "1601118608" @default.
- W1601118608 workType "book-chapter" @default.