Team
Research
Courses
News
Jobs
Contact
Internal
Light
Dark
Automatic
Stefan Dantchev
Recent Publications
Parameterized Proof Complexity
Stefan Dantchev
,
Barnaby Martin
,
Stefan Szeider
Proceedings of the 48th Annual Symposium on Foundations of Computer Science (FOCS 2007), October 20-23, 2007, Providence, RI, USA
, pages 150-160, 2007, IEEE Press.
Cite
DOI
Cite
×