Voboril, F.; Ramaswamy, V. P.; Szeider, S. Generating Streamlining Constraints With Large Language Models (Abstract Reprint). AAAI 2026, 40, 39900-39900.