- Towards declarative diagnosis of constraint programs over finite domains
- Computing and Informatics, Vol. 25, 2006, 10011021, V 2006-Mar-28 EXPLANATIONS AND PROOF TREES
- Explanations and Proof Trees Gerard Ferrand and Willy Lesaint and Alexandre Tessier
- Explications pour Comprendre la Trace d'un Solveur de Contraintes sur Domaines Finis 1
- Value Withdrawal Explanation in CSP Gerard Ferrand Willy Lesaint
- Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction
- Correctness of Constraint Retraction Algorithms Romuald Debruyne
- Value withdrawal explanations: a theoretical tool for programming environments
- Generic Trace Format for Constraint Programming Version 2.1
- Un mod`ele complet pour la propagation et le Gerard Ferrand, Willy Lesaint, Alexandre Tessier
- Electronic Notes in Theoretical Computer Science 76 (2003) URL: http://www.elsevier.nl/locate/entcs/volume76.html 16 pages
- A model of constraint solvers by chaotic iteration adapted to value withdrawal explanations
- Computing and Informatics, Vol. 25, 2006, 1001--1021, V 2006Mar28 EXPLANATIONS AND PROOF TREES
- Un mod ele complet pour la propagation et le G erard Ferrand, Willy Lesaint, Alexandre Tessier
- Towards declarative diagnosis of constraint programs over finite domains
- Explanations and Proof Trees G erard Ferrand and Willy Lesaint and Alexandre Tessier
- Electronic Notes in Theoretical Computer Science 76 (2003) URL: http://www.elsevier.nl/locate/entcs/volume76.html 16 pages
- Explications pour Comprendre la Trace d'un Solveur de Contraintes sur Domaines Finis 1
- Theoretical foundations of value withdrawal
- Explanations and error diagnosis G erard Ferrand, Willy Lesaint, Alexandre Tessier
- A model of constraint solvers by chaotic iteration adapted to value withdrawal explanations
- Generic Trace Format for Constraint Programming Version 2.1
- Explanations to Understand the Trace of a Finite Domain Constraint Solver #
- Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction
- Value withdrawal explanations: a theoretical tool for programming environments
- Value Withdrawal Explanation in CSP
- Universit d'Orlans Explications de retraits de valeurs en programmation
- Value Withdrawal Explanation in CSP G erard Ferrand Willy Lesaint
- Correctness of Constraint Retraction
- Correctness of Constraint Retraction Algorithms Romuald Debruyne y and G erard Ferrand z and Narendra Jussien y
- Explanations and error diagnosis Gerard Ferrand, Willy Lesaint, Alexandre Tessier
