SAT Backdoors: Depth Beats Size

Jan Niclas Dreier
January 2022
PDF Cite Project Project DOI
Type
Conference Paper
Reveal Slim
Jan Niclas Dreier
Jan Niclas Dreier

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