Martin Schäf

Classifying Bugs with Interpolants

Igor Razgon

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