Danco et al. "Complete Symmetry Breaking for Finite Models." AAAI Conference on Artificial Intelligence, 2025. doi:10.1609/AAAI.V39I11.33217
Markdown
[Danco et al. "Complete Symmetry Breaking for Finite Models." AAAI Conference on Artificial Intelligence, 2025.](https://mlanthology.org/aaai/2025/danco2025aaai-complete/) doi:10.1609/AAAI.V39I11.33217
BibTeX
@inproceedings{danco2025aaai-complete,
title = {{Complete Symmetry Breaking for Finite Models}},
author = {Danco, Marek and Janota, Mikolás and Codish, Michael and Araújo, João Jorge},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2025},
pages = {11194-11202},
doi = {10.1609/AAAI.V39I11.33217},
url = {https://mlanthology.org/aaai/2025/danco2025aaai-complete/}
}