TY  - RPRT
TI  - Two types of branching programs with bounded repetition that cannot efficiently compute monotone 3-CNFs
AU  - Igor Razgon
PY  - 2016
UR  - https://arxiv.org/abs/1510.05486
ID  - 1510.05486
ER  -