C. Bessière, Using CSPs to encode TMSs, 1991.

R. Dechter and A. Dechter, Belief Maintenance in Dynamic Constraint Networks, Proceedings AAAI-88, pp.37-42, 1988.

R. Dechter and J. Pearl, Network-Based Heuristics for Constraint-Satisfaction Problems, Artificial Intelligence, vol.34, pp.1-38, 1988.

J. Doyle, A Truth Maintenance System, Artificial Intelligence, vol.12, pp.231-272, 1979.

E. C. Freuder, Synthesizing Constraint Expressions, Communications of the ACM, vol.21, issue.11, pp.958-966, 1978.

P. Janssen, P. Jégou, B. Nouguier, and M. Vilarem,

, Problèmes de Conception : une Approche basée sur la Satisfaction de Contraintes. 9èmes Journées Internationales d'Avignon: Les Systèmes Experts et leurs Applications, pp.71-84

A. K. Mackworth, Consistency in Networks of Relations, Artificial Intelligence, vol.8, pp.99-118, 1977.

D. A. Mcallester, An Outlook on Truth Maintenance, 1980.

R. Mohr and T. C. Henderson, Arc and Path Consistency Revisited, Artificial Intelligence, vol.28, pp.225-233, 1986.
URL : https://hal.archives-ouvertes.fr/inria-00548487

U. Montanari, Networks of Constraints: Fundamental Properties and Applications to Picture Processing, Information Science, vol.7, pp.95-132, 1974.