Solving \#SAT using Vertex Covers

Abstract

Full Citation:

Naomi Nishimura, Prabhakar Ragde, Stefan Szeider. Solving #SAT using Vertex Covers. Proceedings 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.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.