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. Journal of Computer and System Sciences, volume 85, pages 38–56, 2017.

Stefan Szeider

Head of Research Unit

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