Abstract
Stefan S. Dantchev, Barnaby Martin, Stefan Szeider. Parameterized Proof Complexity. Computational Complexity, volume 20, number 1, pages 51-85, 2011.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.