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