Disjoint NP-pairs and propositional proof systems

DOI10.1142/9789811278631_0010MaRDI QIDQ7033980zbMATH OpenFDO

Authors Christian Glaßer, Andrew Hughes, Alan L. Selman, Nils Wisiol

Publication date 3 February 2025

Full work available at URL https://doi.org/10.1142/9789811278631_0010

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx) Theory of computing (68Qxx)

This page was built for publication: Disjoint NP-pairs and propositional proof systems

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