Certified Dominance and Symmetry Breaking for Combinatorial Optimisation.
Saved in:
| Title: | Certified Dominance and Symmetry Breaking for Combinatorial Optimisation. |
|---|---|
| Authors: | Bogaerts, Bart1 BART.BOGAERTS@VUB.BE, Gocht, Stephan2,3 STEPHAN.GOCHT@CS.LTH.SE, McCreesh, Ciaran4 CIARAN.MCCREESH@GLASGOW.AC.UK, Nordström, Jakob2,3 JN@DI.KU.DK |
| Source: | Journal of Artificial Intelligence Research. 2023, Vol. 77, p1539-1589. 51p. |
| Database: | Mathematics Source |
| ISSN: | 10769757 |
|---|---|
| DOI: | 10.1613/jair.1.14296 |
