@inproceedings{JanotaKirchwegerPeitlSzeider25,
 author = {Mikol{\'{a}}s Janota and
Markus Kirchweger and
Tom{\'{a}}s Peitl and
Stefan Szeider},
 booktitle = {AAAI-25, Sponsored by the Association for the Advancement of Artificial
Intelligence, February 25 - March 4, 2025, Philadelphia, PA, {USA}},
 doi = {10.1609/AAAI.V39I11.33223},
 editor = {Toby Walsh and
Julie Shah and
Zico Kolter},
 keywords = {COE, asksat},
 pages = {11246--11254},
 publisher = {{AAAI} Press},
 title = {Breaking Symmetries in Quantified Graph Search: {A} Comparative Study},
 url = {https://doi.org/10.1609/aaai.v39i11.33223},
 year = {2025}
}