Abstract
Mikolás Janota, Markus Kirchweger, Tomás Peitl, Stefan Szeider. Breaking Symmetries in Quantified Graph Search: A Comparative Study. AAAI-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.
Type
Markus Kirchweger
Markus Kirchweger is a Project Assistant at the Algorithms and Complexity Group.
Tomas Peitl
Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.