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