Abstract
Serge Gaspers, Stefan Szeider. Backdoors to Satisfaction Continued. Computer Science Review, volume 60, pages 100868, 2026.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.
Serge Gaspers, Stefan Szeider. Backdoors to Satisfaction Continued. Computer Science Review, volume 60, pages 100868, 2026.
Stefan Szeider is a Professor at the Algorithms and Complexity Group.