@inproceedings{DBLP:conf/aaai/BleukxV0G25,
  author       = {Ignace Bleukx and
                  H{\'{e}}l{\`{e}}ne Verhaeghe and
                  Bart Bogaerts and
                  Tias Guns},
  title        = {Exploiting Symmetries in {MUS} Computation},
  booktitle    = {AAAI-25, Sponsored by the Association for the Advancement of Artificial
                  Intelligence, February 25 - March 4, 2025, Philadelphia, PA, {USA}},
  pages        = {11122--11130},
  year         = {2025},
  crossref     = {DBLP:conf/aaai/2025},
  url          = {https://doi.org/10.1609/aaai.v39i11.33209},
  doi          = {10.1609/AAAI.V39I11.33209},
  timestamp    = {Thu, 17 Apr 2025 17:08:57 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BleukxV0G25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aaai/2025,
  editor       = {Toby Walsh and
                  Julie Shah and
                  Zico Kolter},
  title        = {AAAI-25, Sponsored by the Association for the Advancement of Artificial
                  Intelligence, February 25 - March 4, 2025, Philadelphia, PA, {USA}},
  publisher    = {{AAAI} Press},
  year         = {2025},
  url          = {https://ojs.aaai.org/index.php/AAAI/issue/view/624},
  isbn         = {978-1-57735-897-8},
  timestamp    = {Tue, 03 Jun 2025 17:30:07 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/2025.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}