Community Structure Inspired Algorithms for SAT and #SAT - Ganian, Robert; Szeider, Stefan (Theory and Applications of Satisfiability Testing -- SAT 2015, 2015)
Keywords: Artificial intelligence; Community Structure; Computer science; Constraint Satisfaction Problem; Dual Graph; Equivalence Class; Mathematical theory of computation; Tree Decomposition