2 citations · 2 across the 2 of their papers we have counts for
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
Combinatorial problems appear in numerous industrial applications. A common approach is to formulate these problems as declarative constraint models that can subsequently be compil…
cs.AI2025★ 2 cited
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…