Space Characterizations of Complexity Measures and Size-Space Trade-Offs in Propositional Proof Systems.

Theodoros Papamakarios, Alexander A. Razborov

Browse the full ICALP paper archive.