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.