K. Forbus and J. De-kleer, Truth Maintenance Systems

, Tutorial in Proceedings AAAI-91

J. De-kleer, Exploiting locality in a, Proceedings AAAI-90, pp.264-271

R. Zabih and D. Mcallester, A Rearrangement Search Strategy for Determining Propositional Satisfiability

, Proceedings AAAI, vol.88, pp.155-160

D. A. Mcallester, An Outlook on Truth Maintenance

. Mit and M. A. Boston, Tech.Rep. AI Memo No, vol.551, 1980.

U. Montanari, Networks of Constraints: Fundamental Properties and Applications to Picture Processing

, Information Science, vol.7, pp.95-132, 1974.

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

E. C. Freuder, Synthesizing Constraint Expressions

, Communications of the ACM, vol.21, issue.11, 1978.

R. Mohr and G. Masini, Good Old Discrete Relaxation
URL : https://hal.archives-ouvertes.fr/inria-00548479

, Proceedings ECAI-88, pp.651-656

C. Beeri, R. Fagin, D. Maier, and M. Yannakakis, On the desirability of acyclic database schemes", Journal of the ACM, vol.30, pp.479-513, 1983.

P. Janssen, P. Jégou, B. Nouguier, and M. C. Vilarem, A Filtering Process for General Constraint-Satisfaction Problems: Achieving Pairewise-Consistency Using an Associated Binary Representation, Proceedings of the IEEE Workshop on Tools for Artificial Intelligence (TAI), pp.420-427, 1989.

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

C. Bessière, Arc-Consistency in Dynamic Constraint Satisfaction Problems, Proceedings AAAI-91, pp.221-226

C. Bessière, Arc-Consistency for Non-Binary Dynamic CSPs, Proceedings ECAI-92, pp.23-27