Solving #SAT using Vertex Covers

Nishimura, Naomi; Ragde, Prabhakar; Szeider, Stefan

by Naomi Nishimura, Prabhakar Ragde, Stefan Szeider

Reference:

Solving #SAT using Vertex CoversNaomi Nishimura, Prabhakar Ragde, Stefan SzeiderActa Informatica, volume 44, number 7-8, pages 509-523, 2007.

Bibtex Entry:

@string{actainf="Acta Informatica"}
@Article{NishimuraRagdeSzeider07,
  author = 	 {Naomi Nishimura and Prabhakar Ragde and Stefan Szeider},
  title = 	 {Solving \#{S}{A}{T} using Vertex Covers},
  journal =      ActaInf,
  pages =        {509-523},
  volume =       {44},
  number =       {7-8},
  year =         {2007},
  url   = {https://www.ac.tuwien.ac.at/files/pub/NishimuraRagdeSzeider07.pdf},

}