@inproceedings{KirchwegerPSS26,
 author = {Markus Kirchweger and Tom{\'{a}}s Peitl and David
Seka and Stefan Szeider},
 booktitle = {The 40th Annual AAAI Conference on Artificial
Intelligence, AAAI-2026},
 keywords = {asksat, coe},
 note = {To appear},
 title = {Graph Choosability via {SAT}: Beyond the {Nullstellensatz}},
 year = {2026}
}