Community Structure Inspired Algorithms for SAT and #SAT.

Robert Ganian, Stefan Szeider

Browse the full SAT paper archive.