Abstract
Markus Kirchweger, Hai Xia, Tom'as Peitl, Stefan Szeider. Smart Cubing for Graph Search: A Comparative Study. 32nd International Conference on Principles and Practice of Constraint Programming, CP 2026, July 20–23, 2026, Lisbon, Portugal, volume 379 of LIPIcs, pages 33:1-33:19, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. (Note: Preprint: CoRR abs/2501.17201, https://arxiv.org/abs/2501.17201)
Type
Markus Kirchweger
Markus Kirchweger is a Project Assistant at the Algorithms and Complexity Group.
Hai Xia
Hai Xia 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.