7 citations · 11 across the 3 of their papers we have counts for
3 papers
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★ 2 cited
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…