, Truth Maintenance Systems
, Tutorial in Proceedings AAAI-91
Exploiting locality in a, Proceedings AAAI-90, pp.264-271 ,
, A Rearrangement Search Strategy for Determining Propositional Satisfiability
, Proceedings AAAI, vol.88, pp.155-160
, An Outlook on Truth Maintenance
, Tech.Rep. AI Memo No, vol.551, 1980.
Networks of Constraints: Fundamental Properties and Applications to Picture Processing ,
, Information Science, vol.7, pp.95-132, 1974.
Consistency in Networks of Relations", Artificial Intelligence, vol.8, pp.99-118, 1977. ,
, Synthesizing Constraint Expressions
, Communications of the ACM, vol.21, issue.11, 1978.
Good Old Discrete Relaxation ,
URL : https://hal.archives-ouvertes.fr/inria-00548479
, Proceedings ECAI-88, pp.651-656
On the desirability of acyclic database schemes", Journal of the ACM, vol.30, pp.479-513, 1983. ,
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. ,
Using CSPs to encode TMSs, 1992. ,
Arc-Consistency in Dynamic Constraint Satisfaction Problems, Proceedings AAAI-91, pp.221-226 ,
Arc-Consistency for Non-Binary Dynamic CSPs, Proceedings ECAI-92, pp.23-27 ,