@misc{indiciae466c80fb43e2,
  title = {Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables},
  author = {Markus Anders and Bart Bogaerts and Benjamin Bogø and Arthur Gontier and Wietze Koops and Ciaran McCreesh and Magnus O. Myreen and Jakob Nordström and Andy Oertel and Adrian Rebola-Pardo and Yong Kiam Tan},
  year = {2025},
  url = {https://arxiv.org/abs/2511.16637},
  note = {Source identifier: 2511.16637}
}