THE INFORMATIONAL CONTENT OF CANONICAL DISJOINT NP-PAIRS

We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between propositional proof systems...