David Seka

Recent Publications

Graph Choosability via SAT: Beyond the Nullstellensatz

2026