Janota, M., Kirchweger, M., Peitl, T., & Szeider, S. (2025). Breaking Symmetries in Quantified Graph Search: A Comparative Study. Proceedings of the AAAI Conference on Artificial Intelligence, 39(11), 11246–11254. https://doi.org/10.1609/aaai.v39i11.33223