The Parameterized Complexity of SAT Backdoors

Stefan Szeider
January 2004
bib

Abstract

Full Citation:

Stefan Szeider. The Parameterized Complexity of SAT Backdoors. Computing: The Australasian Theory Symposium (CATS 2004) (Mike Atkinson), pages 252-261, 2004. (Note: Informal Proceedings)

Type
Conference Paper
Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.