On oblivious branching programs with bounded repetition that cannot efficiently compute CNFs of bounded treewidth | Read Paper on Bytez