Abstract
Markus Kirchweger, Tom'as Peitl, David Seka, Stefan Szeider. Graph Choosability via SAT: Beyond the Nullstellensatz. Fortieth AAAI Conference on Artificial Intelligence, Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence, Sixteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2026, Singapore, January 20-27, 2026 (Sven Koenig and Chad Jenkins and Matthew E. Taylor), pages 14269-14277, 2026, 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.