SAT backdoors: Depth beats size

Dreier, Jan; Ordyniak, Sebastian; Szeider, Stefan

doi:https://doi.org/10.1016/j.jcss.2024.103520

by Jan Dreier, Sebastian Ordyniak, Stefan Szeider

Reference:

SAT backdoors: Depth beats sizeJan Dreier, Sebastian Ordyniak, Stefan SzeiderJournal of Computer and System Sciences, volume 142, pages 103520, 2024.

Bibtex Entry:

@article{dreier2024SAT,
title = {SAT backdoors: Depth beats size},
journal = {Journal of Computer and System Sciences},
volume = {142},
pages = {103520},
year = {2024},
issn = {0022-0000},
doi = {https://doi.org/10.1016/j.jcss.2024.103520},
url = {https://www.sciencedirect.com/science/article/pii/S0022000024000151},
author = {Jan Dreier and Sebastian Ordyniak and Stefan Szeider},
keywords = {SAT, Satisfiability, Backdoor, Elimination distance, Parameterized algorithms},
}