Breaking Symmetries with RootClique and LexTopsort

Johannes K. Fichte, Markus Hecher, Stefan Szeider
January 2020
bib Project Project

Abstract

Full Citation:

Johannes K. Fichte, Markus Hecher, Stefan Szeider. Breaking Symmetries with RootClique and LexTopsort. Proceedings of CP 2020, the 26th International Conference on Principles and Practice of Constraint Programming (Helmut Simonis), volume 12333 of Lecture Notes in Computer Science, pages 286-303, 2020, Springer Verlag.

Type
Conference Paper
Reveal Slim
Stefan Szeider
Stefan Szeider
Head of Research Unit

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