Janota, M.; Kirchweger, M.; Peitl, T.; Szeider, S. Breaking Symmetries in Quantified Graph Search: A Comparative Study. AAAI 2025, 39, 11246-11254.