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