by Mikoláš Janota, Markus Kirchweger, Tomáš Peitl, Stefan Szeider
Reference:
Breaking Symmetries in Quantified Graph Search: A Comparative StudyMikoláš Janota, Markus Kirchweger, Tomáš Peitl, Stefan SzeiderAAAI 2025: The 39th Annual AAAI Conference on Artificial Intelligence, 2025.Note: to appear
Bibtex Entry:
@inproceedings{JanotaKirchwegerPeitlSzeider25,
author = {Mikol{\'{a}}{\v{s}} Janota and
Markus Kirchweger and
Tom{\'{a}}{\v{s}} Peitl and
Stefan Szeider},
title = {Breaking Symmetries in Quantified Graph Search: A Comparative Study},
booktitle = {{AAAI} 2025: The 39th Annual AAAI Conference on Artificial Intelligence},
year = {2025},
note = {to appear}
}