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 SzeiderProceedings of SAT 2006, Ninth International Conference on Theory and Applications of Satisfiability Testing, August 12-15, 2006, Seattle, Washington, USA, volume 4121 of Lecture Notes in Computer Science, pages 396-409, 2006.

Bibtex Entry:

@string{lncs="Lecture Notes in Computer Science"}
@InProceedings{NishimuraRagdeSzeider06,
  author = 	 {Naomi Nishimura and Prabhakar Ragde and Stefan Szeider},
  title = 	 {Solving \#{S}{A}{T} using Vertex Covers},
  booktitle = {Proceedings of SAT 2006, Ninth International Conference on 
               Theory and Applications of Satisfiability Testing,  
                August 12-15, 2006, Seattle, Washington, USA},
  pages = 	 {396-409},
  year = 	 {2006},
  volume = 	 {4121},
  series = 	 LNCS,
}