Community Structure Inspired Algorithms for SAT and \#SAT

Abstract

Full Citation:

Robert Ganian, Stefan Szeider. Community Structure Inspired Algorithms for SAT and #SAT. 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), September 24-27, 2015, Austin, Texas (Marijn Heule and Sean Weaver), pages 223-237, 2015, Springer Verlag.

Robert Ganian

Robert Ganian is a Professor at the Algorithms and Complexity Group.

Stefan Szeider

Head of Research Unit

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