works on
constraint programming 1evolutionary algorithms 1large language models 1model reformulation 1solver performance 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.AI2026

LLM-Guided Evolutionary Search for Constraint Model Reformulation to Improve Solver Efficiency

Kostis Michailidis, Dimos Tsouros, Nguyen Dang +1

The paper explores using large language models within an evolutionary search framework to automatically reformulate constraint models for faster solving, introducing a diversity‑pr…