15 citations · 22 across the 2 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★ 15 cited
Proceedings of the 12th International Workshop on Logic Programming Environments
Alexandre Tessier
The twelfth Workshop on Logic Programming Environments, WLPE 2002, is one in a series of international workshops held in the topic area. The workshops facilitate the exchange ideas…
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…