Computing small Rainbow Cycle Numbers with SAT modulo Symmetries

Abstract

Full Citation:

Markus Kirchweger, Stefan Szeider. Computing small Rainbow Cycle Numbers with SAT modulo Symmetries. The 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 (Paul Shaw), 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Markus Kirchweger

Markus Kirchweger is a Project Assistant at the Algorithms and Complexity Group.

Stefan Szeider

Head of Research Unit

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