Community Structure Inspired Algorithms for SAT and #SAT

Ganian, Robert; Szeider, Stefan

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},
}