New Width Parameters for SAT and Sharp-SAT (bibtex)
by ,
Reference:
New Width Parameters for SAT and Sharp-SATRobert Ganian, Stefan SzeiderArtificial Intelligence, volume 295, pages 103460, 2021.
Bibtex Entry:
@string{ai="Artificial Intelligence"}
@article {GanianSzeider21,
    author = {Ganian, Robert and Szeider, Stefan},
     title = {New Width Parameters for SAT and Sharp-SAT},
   journal = AI,
      year = {2021},
  volume    = {295},
  pages     = {103460},
  year      = {2021},
  url       = {10.1016/j.artint.2021.103460">https://doi.org/10.1016/j.artint.2021.103460},
  doi       = {10.1016/j.artint.2021.103460},
  keywords  = {nfpc,ParAI}
}
Powered by bibtexbrowser