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:
@string{jcss="Journal of Computer and System Sciences"}
@Article{DreierOrdyniakSzeider24,
author = {Jan Dreier and Sebastian Ordyniak and Stefan Szeider},
title = {{SAT} backdoors: Depth beats size},
journal = JCSS,
year = {2024},
volume = {142},
doi = {10.1016/j.jcss.2024.103520},
pages = {103520},
keywords = {asksat, strides, reveal},
}