Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes.

Olaf Beyersdorff, Zenon Sadowski

Browse the full CSR paper archive.