New Width Parameters for Model Counting

Ganian, Robert; Szeider, Stefan

by Robert Ganian, Stefan Szeider

Reference:

New Width Parameters for Model CountingRobert Ganian, Stefan Szeider2017, Technical report AC-TR-17-013, Algorithms and Complexity Group, TU Wien.

Bibtex Entry:

@TechReport{GanianSzeider17tr,
  author    = {Robert Ganian and Stefan Szeider},
  title     = {New Width Parameters for Model Counting},
  institution  = {Algorithms and Complexity Group, TU Wien},
  year 	       = {2017},
  number    = {AC-TR-17-013},
  url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-17-013.pdf},
}