People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
A SAT Approach to Clique-Width
Stefan Szeider
January 2015
PDF
Cite
DOI
Type
Journal Article
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.
Cite
×
