SAT backdoors: Depth beats size

Dreier, Jan; Ordyniak, Sebastian; Szeider, Stefan

doi: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:

@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},
}