TY  - RPRT
TI  - Non-deterministic branching programs with logarithmic repetition cannot efficiently compute small monotone CNFs
AU  - Oded Lachish
AU  - Igor Razgon
PY  - 2016
UR  - https://arxiv.org/abs/1604.01560
ID  - 1604.01560
ER  -