Breaking Symmetries in Quantified Graph Search: A Comparative Study

Abstract

Full Citation:

Mikol'as Janota, Markus Kirchweger, Tom'as 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 and Julie Shah and Zico Kolter), pages 11246-11254, 2025, AAAI Press.

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.