22 citations · 35 across the 5 of their papers we have counts for
4 papers · 1 filter
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…
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…
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)
Emilio Gamba, Bart Bogaerts, Tias Guns
We build on a recently proposed method for stepwise explaining solutions of Constraint Satisfaction Problems (CSP) in a human-understandable way. An explanation here is a sequence…
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Emilio Gamba, Bart Bogaerts, Tias Guns
We build on a recently proposed method for explaining solutions of constraint satisfaction problems. An explanation here is a sequence of simple inference steps, where the simplici…