SAT Backdoors: Depth Beats Size (bibtex)
by , ,
Reference:
SAT Backdoors: Depth Beats SizeJan Dreier, Sebastian Ordyniak, Stefan Szeider (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:
@article{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},
 }
Powered by bibtexbrowser