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…