7 citations · 7 across the 1 of their papers we have counts for
2 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.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…