Certified Dominance and Symmetry Breaking for Combinatorial Optimisation

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

Research output: Contribution to journal › Article › peer-review

11 Citations (Scopus)

8 Downloads (Pure)

1 results

Active
FWOAL1002: FRESCO: A FRamework for Explainable Solving and Constraint Optimization
Bogaerts, B. & Guns, T.
1/01/21 → 31/12/24
Project: Fundamental