F. Voboril, V. P. Ramaswamy, and S. Szeider, “Generating Streamlining Constraints with Large Language Models (Abstract Reprint)”, AAAI, vol. 40, no. 47, pp. 39900–39900, Mar. 2026.