Igor Razgon

Lower bounds for branching programs of bounded repetition computing CNFs of bounded treewidth: an overview