New Width Parameters for Model Counting

Abstract

Full Citation:

Robert Ganian, Stefan Szeider. New Width Parameters for Model Counting. 2017, Technical report AC-TR-17-013, Algorithms and Complexity Group, TU Wien.

Robert Ganian

Robert Ganian is a Professor at the Algorithms and Complexity Group.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.