Voboril, F., Ramaswamy, V. P. and Szeider, S. (2026) “Generating Streamlining Constraints with Large Language Models (Abstract Reprint)”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(47), pp. 39900–39900. doi: 10.1609/aaai.v40i47.41415.