SAT Backdoors: Depth Beats Size

Dreier, Jan; Ordyniak, Sebastian; Szeider, Stefan

doi:10.4230/LIPIcs.ESA.2022.46

by Jan Dreier, Sebastian Ordyniak, Stefan Szeider

Reference:

SAT Backdoors: Depth Beats SizeJan Dreier, Sebastian Ordyniak, Stefan Szeider30th Annual European Symposium on Algorithms (ESA 2022) (Shiri Chechik, Gonzalo Navarro, Eva Rotenberg, Grzegorz Herman, eds.), volume 244 of Leibniz International Proceedings in Informatics (LIPIcs), pages 46:1–46:18, 2022, Schloss Dagstuhl – Leibniz-Zentrum für Informatik.

Bibtex Entry:

@inproceedings{DreierOrdyniakSzeider22b,
  author    = {Jan Dreier and
               Sebastian Ordyniak and
               Stefan Szeider},
  title     = {{SAT} Backdoors: Depth Beats Size},
  booktitle ={30th Annual European Symposium on Algorithms (ESA 2022)},
  pages ={46:1--46:18},
  series ={Leibniz International Proceedings in Informatics (LIPIcs)},
   year ={2022},
  volume ={244},
  editor ={Chechik, Shiri and Navarro, Gonzalo and Rotenberg, Eva and Herman, Grzegorz},
  publisher ={Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address ={Dagstuhl, Germany},
  URL ={https://drops.dagstuhl.de/opus/volltexte/2022/16984},
  doi ={10.4230/LIPIcs.ESA.2022.46},
  keywords = {slim,reveal},
 }