Stefan Dantchev
Research
(P)reprints
(with B. Martin and S. Szeider)
Parameterized Proof Complexity
, accepted to FOCS'07
Rank Complexity Gap for Sherali-Adams and Lovász-Schrijver Proof Systems
, STOC'07
Teaching
Models of Computation
Computability Theory
