@misc{indiciaee4c7d2b957d0, title = {Non-deterministic branching programs with logarithmic repetition cannot efficiently compute small monotone CNFs}, author = {Oded Lachish and Igor Razgon}, year = {2016}, url = {https://arxiv.org/abs/1604.01560}, note = {Source identifier: 1604.01560} }