Breaking Symmetries in Quantified Graph Search: A Comparative Study

Janota, Mikolás; Kirchweger, Markus; Peitl, Tomás; Szeider, Stefan

doi:10.1609/AAAI.V39I11.33223

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},
  
}