Kirchweger, Markus, Tomáš Peitl, David Seka, and Stefan Szeider. 2026. “Graph Choosability via SAT: Beyond the Nullstellensatz”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (17):14269-77. https://doi.org/10.1609/aaai.v40i17.38441.