Janota, Mikoláš, et al. “Breaking Symmetries in Quantified Graph Search: A Comparative Study”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 39, no. 11, Apr. 2025, pp. 11246-54, doi:10.1609/aaai.v39i11.33223.