Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
Bogaerts, Bart ; Gocht, Stephan ; McCreesh, Ciaran ; Nordström, Jakob
The Journal of artificial intelligence research, 2023-01, Vol.77, p.1539
[Periódico revisado por pares]
Texto completo disponível