Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting

Abstract

Full Citation:

Robert Ganian, M. S. Ramanujan, Stefan Szeider. Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting. ACM Transactions on Algorithms, volume 13, number AC-TR-17-016, pages 29:1-29:32, 2017.

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.