Abstract
Stefan Szeider. Capturing Structure in Hard Combinatorial Problems. 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013, pages 897-898, 2013. (Note: invited keynote talk)
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.