Fingerprint
Dive into the research topics of 'Proof complexity of systems of (non-deterministic) decision trees and branching programs'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Proof complexity of systems of (non-deterministic) decision trees and branching programs
Sam Buss, Anupam Das, Alexander Knop
Research output: Working paper/Preprint › Preprint
11
Downloads
(Pure)