Community Structure Inspired Algorithms for SAT and #SAT

Ganian, Robert; Szeider, Stefan

doi:10.1007/978-3-319-24318-4_17

by Robert Ganian, Stefan Szeider

Reference:

Community Structure Inspired Algorithms for SAT and #SATRobert Ganian, Stefan Szeider18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), September 24-27, 2015, Austin, Texas (Marijn Heule, Sean Weaver, eds.), pages 223-237, 2015, Springer Verlag.

Bibtex Entry:

@string{lncs="Lecture Notes in Computer Science"}
@string{springer="Springer Verlag"}
@InProceedings{GanianSzeider15,
  author       = {Robert Ganian and Stefan Szeider},
  title        = {Community Structure Inspired Algorithms for {SAT} and \#{SAT}},
  booktitle = {18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), September 24-27, 2015, Austin, Texas},
  year      = {2015},
  editor    = {Marijn Heule and Sean Weaver},
  series    = LNCS,
  publisher = Springer,
  number    = {9340},
  pages     = {223-237},
  doi       = {10.1007/978-3-319-24318-4_17},
  url       = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-15-001.pdf},
  keywords  = {xtract}               
}