"Community Structure Inspired Algorithms for SAT and #SAT."

Robert Ganian, Stefan Szeider (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics