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

15 Citations (Scopus)

9 Downloads (Pure)

1 results

Filter

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