Team
Research
Courses
News
Jobs
Contact
Internal
Light
Dark
Automatic
Mikol{\'{a}}s Janota
Recent Publications
Breaking Symmetries in Quantified Graph Search: A Comparative Study
Mikol{\'{a}}s Janota
,
Markus Kirchweger
,
Tomas Peitl
,
Stefan Szeider
AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA
(Toby Walsh and Julie Shah and Zico Kolter), pages 11246-11254, 2025, AAAI Press.
PDF
bib
Project
Project
DOI
Full Publication List »
bib
×