Abstract
Markus Kirchweger, Tom'as Peitl, David Seka, Stefan Szeider. Graph Choosability via SAT: Beyond the Nullstellensatz. The 40th Annual AAAI Conference on Artificial Intelligence, AAAI-2026, 2026. (Note: To appear)
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.