Graph Choosability via SAT: Beyond the Nullstellensatz

Kirchweger, Markus; Peitl, Tomás; Seka, David; Szeider, Stefan

by Markus Kirchweger, Tomás Peitl, David Seka, Stefan Szeider

Reference:

Graph Choosability via SAT: Beyond the NullstellensatzMarkus Kirchweger, Tomás Peitl, David Seka, Stefan SzeiderThe 40th Annual AAAI Conference on Artificial Intelligence, AAAI-2026, 2026.Note: To appear

Bibtex Entry:

@inproceedings{KirchwegerPSS26,
title     = {Graph Choosability via {SAT}: Beyond the {Nullstellensatz}}, 
    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},
    year      = {2026},
    note      ={To appear},
    keywords  ={coe,asksat},
  }