Backdoor DNFs

Abstract

Full Citation:

Sebastian Ordyniak, Andr'e Schidler, Stefan Szeider. Backdoor DNFs. 2021, Technical report AC-TR-21-001, Algorithms and Complexity Group, TU Wien.

Stefan Szeider
Stefan Szeider
Head of Research Unit

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