Abstract
Stefan Szeider. On fixed-parameter tractable parameterizations of SAT. Theory and Applications of Satisfiability, 6th International Conference, SAT 2003, Selected and Revised Papers (Enrico Giunchiglia and Armando Tacchella), volume 2919 of Lecture Notes in Computer Science, pages 188-202, 2004, Springer Verlag.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.