Skip to content

SAT Backdoors: Depth Beats Size.

Jan Dreier, Sebastian Ordyniak, Stefan Szeider

VenueAESA
Year2022
ProceedingsESA

Browse the full ESA paper archive.