4 citations · 7 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
Translating finite-domain integer constraint models to CP/SMT/ILP/PB/SAT solvers with CPMpy
Tias Guns, Ignace Bleukx, Hendrik Bierlee +8
Constraint solving is a declarative approach for solving combinatorial satisfaction and optimization problems. The user specifies their problem through constraints and decision var…
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…