Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences

Razgon, Igor (2017) On oblivious branching programs with bounded repetition that cannot efficiently compute CNFs of bounded treewidth. Theory of Computing Systems 61 , pp. 755-776. ISSN 1432-4350.