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