Abstract
Serge Gaspers, Stefan Szeider. Backdoors to Acyclic SAT. Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I (Artur Czumaj and Kurt Mehlhorn and Andrew M. Pitts and Roger Wattenhofer), volume 7391 of Lecture Notes in Computer Science, pages 363-374, 2012, Springer Verlag.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.