Nondeterministic functions and the existence of optimal proof systems

From MaRDI portal
Publication:837177

DOI10.1016/j.tcs.2009.05.021zbMath1171.68010OpenAlexW1996110613WikidataQ57950025 ScholiaQ57950025MaRDI QIDQ837177

Johannes Köbler, Jochen Messner, Olaf Beyersdorff

Publication date: 10 September 2009

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://eprints.whiterose.ac.uk/74439/2/sat_journal_rev_lncs.pdf




Related Items (8)



Cites Work


This page was built for publication: Nondeterministic functions and the existence of optimal proof systems