People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Backdoors to Satisfaction Continued
Stefan Szeider
January 2026
PDF
Cite
Project
DOI
Type
Journal Article
Asksat
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.
Cite
×
