Janota, M. (2025) “Breaking Symmetries in Quantified Graph Search: A Comparative Study”, Proceedings of the AAAI Conference on Artificial Intelligence, 39(11), pp. 11246–11254. doi: 10.1609/aaai.v39i11.33223.