An SMT Approach to Fractional Hypertree Width

Abstract

Full Citation:

Johannes K. Fichte, Markus Hecher, Neha Lodha, Stefan Szeider. An SMT Approach to Fractional Hypertree Width. Proceedings of CP 2018, the 24rd International Conference on Principles and Practice of Constraint Programming (John N. Hooker), volume 11008 of Lecture Notes in Computer Science, pages 109-127, 2018, Springer Verlag.

Stefan Szeider

Head of Research Unit

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