22 citations · 35 across the 5 of their papers we have counts for
5 papers
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…
A framework for step-wise explaining how to solve constraint satisfaction problems
Bart Bogaerts, Emilio Gamba, Tias Guns
We explore the problem of step-wise explaining how to solve constraint satisfaction problems, with a use case on logic grid puzzles. More specifically, we study the problem of expl…