Abstract
de Haan, Ronald, Stefan Szeider. Fixed-Parameter Tractable Reductions to SAT. Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings (Uwe Egly and Carsten Sinz), volume 8561 of Lecture Notes in Computer Science, pages 85-102, 2014, Springer Verlag.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.