2 papers
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.AI2025
Preference Elicitation for Step-Wise Explanations in Logic Puzzles
Marco Foschini, Marianne Defresne, Emilio Gamba +2
Step-wise explanations can explain logic puzzles and other satisfaction problems by showing how to derive decisions step by step. Each step consists of a set of constraints that de…