@inproceedings{KirchwegerPeitlSekaSzeider26,
 author = {Markus Kirchweger and
Tomás Peitl and
David Seka and
Stefan Szeider},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/aaai/KirchwegerPSS26.bib},
 booktitle = {Fortieth {AAAI} Conference on Artificial Intelligence, Thirty-Eighth
Conference on Innovative Applications of Artificial Intelligence,
Sixteenth Symposium on Educational Advances in Artificial Intelligence,
{AAAI} 2026, Singapore, January 20-27, 2026},
 doi = {10.1609/AAAI.V40I17.38441},
 editor = {Sven Koenig and
Chad Jenkins and
Matthew E. Taylor},
 pages = {14269–14277},
 publisher = {{AAAI} Press},
 timestamp = {Mon, 30 Mar 2026 01:00:00 +0200},
 title = {Graph Choosability via {SAT:} Beyond the Nullstellensatz},
 url = {https://doi.org/10.1609/aaai.v40i17.38441},
 year = {2026}
}