Janota et al. "Breaking Symmetries in Quantified Graph Search: A Comparative Study." AAAI Conference on Artificial Intelligence, 2025. doi:10.1609/AAAI.V39I11.33223
Markdown
[Janota et al. "Breaking Symmetries in Quantified Graph Search: A Comparative Study." AAAI Conference on Artificial Intelligence, 2025.](https://mlanthology.org/aaai/2025/janota2025aaai-breaking/) doi:10.1609/AAAI.V39I11.33223
BibTeX
@inproceedings{janota2025aaai-breaking,
title = {{Breaking Symmetries in Quantified Graph Search: A Comparative Study}},
author = {Janota, Mikolás and Kirchweger, Markus and Peitl, Tomás and Szeider, Stefan},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2025},
pages = {11246-11254},
doi = {10.1609/AAAI.V39I11.33223},
url = {https://mlanthology.org/aaai/2025/janota2025aaai-breaking/}
}