On the read-once property of branching programs and CNFs of bounded treewidth | Read Paper on Bytez