Martin Schäf
Classifying Bugs with Interpolants
Igor Razgon
Lower bounds for branching programs of bounded repetition computing CNFs of bounded treewidth: an overview
Classifying Bugs with Interpolants
Lower bounds for branching programs of bounded repetition computing CNFs of bounded treewidth: an overview