TY  - RPRT
TI  - LLM-Guided Evolutionary Search for Constraint Model Reformulation to Improve Solver Efficiency
AU  - Kostis Michailidis
AU  - Dimos Tsouros
AU  - Nguyen Dang
AU  - Tias Guns
PY  - 2026
UR  - https://arxiv.org/abs/2607.28268
ID  - 2607.28268
ER  -