Stefan S. Dantchev

Recent Publications

Parameterized Proof Complexity
Stefan S. Dantchev, Barnaby Martin, Stefan Szeider
Computational Complexity, volume 20, number 1, pages 51-85, 2011.
bib DOI