Graph Choosability via SAT: Beyond the Nullstellensatz. - Markus Kirchweger; Tomás Peitl; David Seka; Stefan Szeider (AAAI, 2026)

Enumerating Two-Orbit Graphs. - David Seka; Stefan Szeider (CoRR, 2026)