7 citations · 9 across the 2 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2003★ 7 cited
Towards declarative diagnosis of constraint programs over finite domains
Gerard Ferrand, Willy Lesaint, Alexandre Tessier
The paper proposes a theoretical approach of the debugging of constraint programs based on a notion of explanation tree. The proposed approach is an attempt to adapt algorithmic de…
cs.SE2002★ 2 cited
Value withdrawal explanations: a theoretical tool for programming environments
Willy Lesaint
Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been efficientl…
cs.SE2000
Value Withdrawal Explanation in CSP
Gerard Ferrand, Willy Lesaint, Alexandre Tessier
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, co…