M. Janota, M. Kirchweger, T. Peitl, and S. Szeider, “Breaking Symmetries in Quantified Graph Search: A Comparative Study”, AAAI, vol. 39, no. 11, pp. 11246–11254, Apr. 2025.