People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Parameterized SAT
Stefan Szeider
January 2008
Cite
Type
Book Section
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.
Cite
×
