Complexity of Propositional Proofs Under a Promise.

Nachum Dershowitz, Iddo Tzameret

Browse the full ICALP paper archive.