An SMT Approach to Fractional Hypertree Width

Johannes K. Fichte, Markus Hecher, Stefan Szeider
January 2018
PDF Cite DOI
Type
Conference Paper
FraSMT
Stefan Szeider
Stefan Szeider
Head of Research Unit

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