@misc{indiciaecbea8b8d5388,
  title = {Certified Symmetry and Dominance Breaking for Combinatorial Optimisation},
  author = {Bart Bogaerts and Stephan Gocht and Ciaran McCreesh and Jakob Nordström},
  year = {2023},
  doi = {10.1613/jair.1.14296},
  url = {https://arxiv.org/abs/2203.12275},
  note = {Source identifier: 2203.12275}
}