constraint programming 1evolutionary algorithms 1large language models 1model reformulation 1solver performance 1
From the 1 of 2 linked papers with an AI index.
2 papers
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…
cs.AI2026
DCP-Bench-Open: Evaluating LLMs for Constraint Modelling of Discrete Combinatorial Problems
Kostis Michailidis, Dimos Tsouros, Tias Guns
Discrete Combinatorial Problems (DCPs) are prevalent in industrial decision-making and optimisation. However, while constraint solving technologies for DCPs have advanced significa…