Solving \#SAT using Vertex Covers

Abstract

Full Citation:

Naomi Nishimura, Prabhakar Ragde, Stefan Szeider. Solving #SAT using Vertex Covers. Acta Informatica, volume 44, number 7-8, pages 509-523, 2007.

Stefan Szeider

Head of Research Unit

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