TY  - RPRT
TI  - No small nondeterministic read-once branching programs for CNFs of bounded treewidth
AU  - Igor Razgon
PY  - 2014
UR  - https://arxiv.org/abs/1407.0491
ID  - 1407.0491
ER  -