Kirchweger, M.; Peitl, T.; Seka, D.; Szeider, S. Graph Choosability via SAT: Beyond the Nullstellensatz. AAAI 2026, 40, 14269-14277.