@misc{indiciaecfafa97bdf27,
  title = {LLM-Guided Evolutionary Search for Constraint Model Reformulation to Improve Solver Efficiency},
  author = {Kostis Michailidis and Dimos Tsouros and Nguyen Dang and Tias Guns},
  year = {2026},
  url = {https://arxiv.org/abs/2607.28268},
  note = {Source identifier: 2607.28268}
}