@inproceedings{DBLP:conf/aaai/AndersBBGKMMNOR26,
  author       = {Markus Anders and
                  Bart Bogaerts and
                  Benjamin Bog{\o} and
                  Arthur Gontier and
                  Wietze Koops and
                  Ciaran McCreesh and
                  Magnus O. Myreen and
                  Jakob Nordstr{\"{o}}m and
                  Andy Oertel and
                  Adrian Rebola{-}Pardo and
                  Yong Kiam Tan},
  title        = {Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables},
  booktitle    = {Fortieth {AAAI} Conference on Artificial Intelligence, Thirty-Eighth
                  Conference on Innovative Applications of Artificial Intelligence,
                  Sixteenth Symposium on Educational Advances in Artificial Intelligence,
                  {AAAI} 2026, Singapore, January 20-27, 2026},
  pages        = {14140--14148},
  year         = {2026},
  crossref     = {DBLP:conf/aaai/2026},
  url          = {https://doi.org/10.1609/aaai.v40i17.38426},
  doi          = {10.1609/AAAI.V40I17.38426},
  timestamp    = {Mon, 30 Mar 2026 17:02:29 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AndersBBGKMMNOR26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aaai/2026,
  editor       = {Sven Koenig and
                  Chad Jenkins and
                  Matthew E. Taylor},
  title        = {Fortieth {AAAI} Conference on Artificial Intelligence, Thirty-Eighth
                  Conference on Innovative Applications of Artificial Intelligence,
                  Sixteenth Symposium on Educational Advances in Artificial Intelligence,
                  {AAAI} 2026, Singapore, January 20-27, 2026},
  publisher    = {{AAAI} Press},
  year         = {2026},
  url          = {https://aaai.org/proceeding/aaai-40-2026/},
  isbn         = {978-1-57735-906-7},
  timestamp    = {Wed, 01 Apr 2026 15:41:21 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/2026.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}