David Seka

Recent Publications

Graph Choosability via SAT: Beyond the Nullstellensatz
Markus Kirchweger, Tomas Peitl, David Seka, Stefan Szeider
The 40th Annual AAAI Conference on Artificial Intelligence, AAAI-2026, 2026.
Note: To appear
Cite Project Project