New Width Parameters for SAT and Sharp-SAT

Ganian, Robert; Szeider, Stefan

doi:10.1016/j.artint.2021.103460

by Robert Ganian, Stefan Szeider

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},
  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, reveal}
}