Tuples of Disjoint NP-Sets

DOI10.1007/11753728_11MaRDI QIDQ3434684zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Olaf Beyersdorff

Publication date 2 May 2007

Published in Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL http://eprints.whiterose.ac.uk/74800/2/st_petersburg_final.pdf

Mathematics Subject Classification ID

Complexity of proofs (03F20) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Recommendations

• Tuples of disjoint \(\mathsf{NP}\)-sets
• Disjoint NP-pairs and propositional proof systems
• Disjoint NP-Pairs
• Mathematical Foundations of Computer Science 2005
• Theory and Applications of Models of Computation

Cited in

(5)

• Reductions between disjoint NP-pairs
• Disjoint NP-pairs and propositional proof systems
• Disjoint NP-Pairs
• The Deduction Theorem for Strong Propositional Proof Systems
• Tuples of disjoint \(\mathsf{NP}\)-sets

This page was built for publication: Tuples of Disjoint NP-Sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3434684)