Nondeterministic Instance Complexity and Proof Systems with Advice.

Olaf Beyersdorff, Johannes Kbler, Sebastian Mller

Browse the full LATA paper archive.