SAT Backdoors: Depth Beats Size

Dreier, Jan; Ordyniak, Sebastian; Szeider, Stefan

by Jan Dreier, Sebastian Ordyniak, Stefan Szeider

Reference:

SAT Backdoors: Depth Beats SizeJan Dreier, Sebastian Ordyniak, Stefan SzeiderCoRR, volume abs/2202.08326, 2022.

Bibtex Entry:

@article{DBLP:journals/corr/abs-2202-08326,
  author    = {Jan Dreier and
               Sebastian Ordyniak and
               Stefan Szeider},
  title     = {{SAT} Backdoors: Depth Beats Size},
  journal   = {CoRR},
  volume    = {abs/2202.08326},
  year      = {2022},
  url       = {https://arxiv.org/abs/2202.08326},
  eprinttype = {arXiv},
  eprint    = {2202.08326},
  timestamp = {Tue, 01 Mar 2022 14:36:22 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2202-08326.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}