SAT backdoors: Depth beats size (bibtex)
by , ,
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    = {j.jcss.2024.103520},
  pages     = {103520},
  keywords = {asksat, strides, reveal},
}
Powered by bibtexbrowser