constraint programming 1evolutionary algorithms 1large language models 1model reformulation 1solver performance 1
From the 1 of 1 linked paper with an AI index.
Showing cs.AIShow all
2 papers · 1 filter
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.AI2024
Automatic Feature Learning for Essence: a Case Study on Car Sequencing
Alessio Pellegrino, Ãzgür Akgün, Nguyen Dang +2
Constraint modelling languages such as Essence offer a means to describe combinatorial problems at a high-level, i.e., without committing to detailed modelling decisions for a part…