Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs.

Sam Buss, Anupam Das, Alexander Knop

Browse the full CSL paper archive.