SAT Backdoors: Depth Beats Size

Abstract

Full Citation:

Jan Dreier, Sebastian Ordyniak, Stefan Szeider. SAT Backdoors: Depth Beats Size. 30th Annual European Symposium on Algorithms (ESA 2022) (Shiri Chechik, Gonzalo Navarro, Eva Rotenberg, Grzegorz Herman, eds.), volume 244 of Leibniz International Proceedings in Informatics (LIPIcs), pages 46:1–46:18, 2022, Schloss Dagstuhl – Leibniz-Zentrum für Informatik.

Jan Niclas Dreier

Jan Niclas Dreier was a Postdoctoral Researcher at the Algorithms and Complexity Group.

Stefan Szeider

Head of Research Unit

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