Breaking Symmetries with Involutions

Michael Codish, Mikolás Janota. Breaking Symmetries with Involutions. In Maria Garcia de la Banda, editor, 31st International Conference on Principles and Practice of Constraint Programming, CP 2025, August 10-15, 2025, Glasgow, Scotland. Volume 340 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]

Abstract

Abstract is missing.