TY  - RPRT
TI  - Proof complexity of systems of (non-deterministic) decision trees and branching programs
AU  - Sam Buss
AU  - Anupam Das
AU  - Alexander Knop
PY  - 2019
UR  - https://arxiv.org/abs/1910.08503
ID  - 1910.08503
ER  -