S. Lpnlex, J. Junc, and Y. Geruan, Une nouvelle approche pour la comparaison de modèles en CAO, pp.95-105, 1995.

I. Lnnrren, S. Junc, J. Ganpan, and Y. , Comparaison de modèles de CAO par normalisation de graphes, Revue internationale de CFAO et d'informatique graphique, pp.153-167, 1997.

G. Mrsuno, J. 8. Hasre, G. Hauxtexo, and J. , Integration of Geographical lnformation Technology and Constraint Reasoning -A Promising Approach to Forest Management, 1996.

T. Ppreru, Implémentation d'un nouveau dialogue pour le système de CAO SACADO, Mémoire d'ingénieur CNAM, 1995.

P. Prossen, HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM, Computational Intelligence, vol.1, issue.4, pp.268-299, 1993.
DOI : 10.1016/0004-3702(77)90007-8

P. Pnosser, Forward checking with backtracking, Constraint Processing, pp.185-204, 1995.

D. Irol9l-]-rot-ler, An approach to computer-aided parametric design, Computer-aided Design, vol.23, issue.5, pp.385-391, 1991.

. Sam and H. Sauer, The design and analysis of spatial data structures, 1989.

J. J. Srnu and M. Mnvrn-e, Parametric and feature-based CAD/CAM -Concepts, Techniques, and Applications, 1995.

I. Scnwnnz, A. Bnrry, D. M. Shevrv, E. Tvtan, R. M. Sussven et al., On the use of the automated building design system, Computer-aidedDesign Forward reasonning and dependency-directed backtracking in a system for computer-aided circuit analysis, Artificial Intelligence, vol.26, issue.0, pp.747-7629, 1977.

R. Tenlel, Depth-first search and linear graph algoritms, SIAM J. Computer, vol.1, issue.2, pp.146-160, 1972.

R. B. Tnovs, A null-object detection algorithm for constructive solid geometry, Communication of the ACM, pp.27-34, 1984.

D. Rocuon and . F. Verdier, Placement de rectangles par répartition dans une surface bornée, Actes de MICAD 90, pp.634-648

I. Rocttox and D. F. Verdier, Résolution de problèmes d'aménagement spatial fondée sur la satisfaction des contraintes -Validation sur I'implantation d'équipements électroniques hyperfréquences, Thèse de Doctorat, 1992.

I. Vnnrnnr-re, G. Scnmx, and T. , Maintien de solution dans les problèmes dynamiques de satisfaction de contraintes : bilan de quelques approches, Revue d'intelligence artiftcielle, pp.269-309, 1995.

R. L. Wnlrcr, An enumerative technique _for a class of combinatorial problems, Proceedings of the Symposium on Applied Mathematics, pp.9-94, 1960.