by Robert Ganian, Stefan Szeider
Reference:
Community Structure Inspired Algorithms for SAT and #SATRobert Ganian, Stefan Szeider2015, Technical report AC-TR-15-001, Algorithms and Complexity Group, TU Wien.
Bibtex Entry:
@TechReport{GanianSzeider15,
author = {Robert Ganian and Stefan Szeider},
title = {Community Structure Inspired Algorithms for {SAT} and \#{SAT}},
institution = {Algorithms and Complexity Group, TU Wien},
year = {2015},
number = {AC-TR-15-001},
url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-15-001.pdf},
}