M. Kirchweger, T. Peitl, D. Seka, and S. Szeider, “Graph Choosability via SAT: Beyond the Nullstellensatz”, AAAI, vol. 40, no. 17, pp. 14269–14277, Mar. 2026.