Abstract
Jan Dreier, Sebastian Ordyniak, Stefan Szeider. SAT backdoors: Depth beats size. Journal of Computer and System Sciences, volume 142, pages 103520, 2024.
Type
Jan Niclas Dreier
Jan Niclas Dreier is 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.