Proof complexity of systems of (non-deterministic) decision trees and branching programs

Sam Buss, Anupam Das, Alexander Knop

Research output: Working paper/PreprintPreprint

26 Downloads (Pure)

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.

Keyphrases

Computer Science