| [1] | Graph Choosability via SAT: Beyond the Nullstellensatz 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 (Sven Koenig, Chad Jenkins, Matthew E. Taylor, eds.), pages 14269–14277, 2026, AAAI Press. |
| [2] | Neurosymbolic Discovery of Algebraic Graph Constructions Proceedings of the 20th Conference on Neurosymbolic Learning and Reasoning (NeSy 2026), 2026. Note: To appear; preprint: CoRR abs/2608.08118, https://arxiv.org/abs/2608.08118 |