Non-deterministic branching programs with logarithmic repetition cannot efficiently compute small monotone CNFs.

Oded LachishIgor Razgon
Published in: CoRR (2016)