@article{DreierOrdyniakSzeider24,
 author = {Jan Dreier and Sebastian Ordyniak and Stefan Szeider},
 doi = {10.1016/j.jcss.2024.103520},
 journal = {Journal of Computer and System Sciences},
 keywords = {asksat, reveal, strides},
 pages = {103520},
 title = {{SAT} backdoors: Depth beats size},
 volume = {142},
 year = {2024}
}