Optimal proof systems imply complete sets for promise classes (0)

by Johannes Köbler, Jochen Messner, Jacobo Torán
Venue:Information and Computation