Graph Choosability via SAT: Beyond the Nullstellensatz.

Markus Kirchweger, Toms Peitl, David Seka, Stefan Szeider

Browse the full AAAI paper archive.