Certified Dominance and Symmetry Breaking for Combinatorial Optimisation

Download PDF
Open Webpage

Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

Published: 01 Jan 2023, Last Modified: 13 Mar 2025J. Artif. Intell. Res. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0