Backdoors into Heterogeneous Classes of SAT and CSP

Abstract

Full Citation:

Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny. Backdoors into Heterogeneous Classes of SAT and CSP. Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27-31, 2014, Qu'ebec City, Qu'ebec, Canada. (Carla E. Brodley and Peter Stone), pages 2652-2658, 2014, AAAI Press.

Stefan Szeider

Head of Research Unit

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