Abstract
Robert Ganian, M. S. Ramanujan, Stefan Szeider. Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting. Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016, Arlington, VA, USA, January 10-12, 2016, pages 1670-1681, 2016.
Type
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.