L. Velluz, J. Valls, and J. Mathieu, Spatial Arrangement and Preparative Organic Synthesis, Angewandte Chemie International Edition in English, vol.1959, issue.9
DOI : 10.1002/anie.196707781

J. B. Hendrickson, Systematic synthesis design. 6. Yield analysis and convergency, Journal of the American Chemical Society, vol.99, issue.16, pp.5439-5450, 1977.
DOI : 10.1021/ja00458a035

S. H. Bertz and T. J. Sommer, Application of Graph Theory to Synthesis Planning: Complexity, Reflexivity and Vulnerability, Organic Synthesis: Theory and Applications, pp.67-92, 1993.

J. E. Mcmurry and M. P. Fleming, New method for the reductive coupling of carbonyls to olefins. Synthesis of .beta.-carotene, Journal of the American Chemical Society, vol.96, issue.14, pp.4708-4709, 1974.
DOI : 10.1021/ja00821a076

B. Vaz, R. Alvarez, and A. De-lera, Synthesis of Symmetrical Carotenoids by a Two-Fold Stille Reaction, The Journal of Organic Chemistry, vol.67, issue.14, pp.5040-5043, 2002.
DOI : 10.1021/jo025727f

E. J. Corey, General Methods for the Construction of Complex Molecules, Pure & Appl. Chem, vol.14, pp.19-37, 1967.

D. H. Barton, A. M. Delflorin, and O. Edwards, The Synthesis of Usnic Acid, J. Chem. Soc, pp.530-534, 1956.
DOI : 10.1142/9789812795984_0030

O. L. Chapman, M. R. Engel, J. P. Springer, and J. C. Clardy, Total synthesis of carpanone, Journal of the American Chemical Society, vol.93, issue.24, pp.6696-6698, 1971.
DOI : 10.1021/ja00753a073

. For, E. J. Corey, A. K. Long, and S. D. Rubenstein, Computer-Assisted Analysis in Organic Synthesis, Science, vol.228, pp.408-418, 1985.

A. P. Johnson, C. Marshall, and P. N. Judson, Some recent progress in the development of the LHASA computer system for organic synthesis design: Starting-material-oriented retrosynthetic analysis, Recueil des Travaux Chimiques des Pays-Bas, vol.52, issue.2, pp.310-316, 1992.
DOI : 10.1002/recl.19921110609

A. P. Johnson and C. Marshall, Starting material oriented retrosynthetic analysis in the LHASA program. 2. Mapping the SM and target structures, Journal of Chemical Information and Modeling, vol.32, issue.5, pp.418-425, 1992.
DOI : 10.1021/ci00009a004

. M. Wagener and J. Gasteiger, The Determination of Maximum Common Substructures by a Genetic Algorithm: Application in Synthesis Design and for the Structural Analysis of Biological Activity, Angewandte Chemie International Edition in English, vol.40, issue.11, pp.1189-1192, 1994.
DOI : 10.1002/anie.199411891

J. W. Raymond and P. Willett, Maximum Common Subgraph Isomorphism Algorithms for the Matching of Chemical Structures, Journal of Computer-Aided Molecular Design, vol.16, issue.7, pp.521-533, 2002.
DOI : 10.1023/A:1021271615909

. Resyn_assistant, . For-retrosynthesis, and . Assistant, The development of this system was undertaken in 1996 at LIRMM, in the framework of GDR 1093 of CNRS " Traitement Informatique de la Connaissance en Chimie Organique, with a financial support from Sanofi Chimie and the TIIM Pole of the Region Languedoc Roussillon, and with an outstanding contribution of Dr. P. Jambaud, 1993.

O. Ivanciuc, J. Gasteiger, and . Ed, Canonical Numbering and Constitutional Symmetry, Handbook of Chemoinformatics, pp.139-160, 2003.

H. Chen, H. Lu, and H. Yen, On Maximum Symmetric Subgraphs, Lecture Notes in Computer Science, pp.372-383, 1984.
DOI : 10.1007/3-540-44541-2_35

S. I. Bachl and . Subgraphs, Isomorphic Subgraphs, Lecture Notes in Computer Science, vol.1731, pp.286-296, 2002.
DOI : 10.1007/3-540-46648-7_30

S. Bachl and F. Brandenburg, Computing and Drawing Isomorphic Subgraphs, Lecture Notes in Computer Science, vol.2528, pp.74-85, 2002.
DOI : 10.1007/3-540-36151-0_8

J. Foulon and . Isomorphism, Isomorphism, Automorphism Partitioning, and Canonical Labeling Can Be Solved in Polynomial-Time for Molecular Graphs, Journal of Chemical Information and Computer Sciences, vol.38, issue.3, pp.432-444, 1998.
DOI : 10.1021/ci9702914

J. R. Ullman, An Algorithm for Subgraph Isomorphism, Journal of the ACM, vol.23, issue.1, pp.31-42, 1976.
DOI : 10.1145/321921.321925

J. J. Mcgregor, Relational consistency algorithms and their application in finding subgraph and graph isomorphisms, Information Sciences, vol.19, issue.3, pp.229-250, 1979.
DOI : 10.1016/0020-0255(79)90023-9

R. Mohr and T. C. Henderson, Arc and path consistency revisited, Artificial Intelligence, vol.28, issue.2, pp.225-233, 1986.
DOI : 10.1016/0004-3702(86)90083-4

URL : https://hal.archives-ouvertes.fr/inria-00548487

C. Bessière, Arc-consistency and arc-consistency again, Artificial Intelligence, vol.65, issue.1, pp.179-190, 1994.
DOI : 10.1016/0004-3702(94)90041-8

C. Bessière, E. Freuder, and J. Régin, Using Inference to Reduce Arc Consistency Computation, Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pp.592-598, 1995.

J. Régin, A Filtering Algorithm for Constraints of Difference in CSPs, Proceedings of the 12th National Conference on Artificial Intelligence (AAAI-94), pp.362-367, 1994.

J. Larrosa and G. Valiente, Constraint satisfaction algorithms for graph pattern matching, Mathematical Structures in Computer Science, vol.12, issue.04, pp.403-422, 2002.
DOI : 10.1017/S0960129501003577

E. C. Freuder and R. Wallace, Partial constraint satisfaction, Artificial Intelligence, vol.58, issue.1-3, pp.21-70, 1992.
DOI : 10.1016/0004-3702(92)90004-H

R. J. Wallace and E. C. Freuder, Conjunctive Width Heuristics for Maximal Constraint Satisfaction, Proceedings of the 11th National Conference on Artificial Intelligence (AAAI-93, pp.762-768, 1993.

G. Verfaillie, M. Lemaître, and T. Schiex, Russian Doll Search for Solving Constraint Optimization Problems, Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-96, pp.181-187, 1996.

J. Larossa, Algorithms and Heuristics for Total and Partial Constraint Satisfaction Problems, 1998.

Y. Tognetti, Contribution à la modélisation des systèmes d'information chimique par la théorie et l'algorithmique de graphes, 2002.

P. Vismara, Reconnaissance et représentation d'éléments structuraux pour la description d'objets complexes. Application à l'élaboration de stratégies de synthèse en chimie organique, 1995.

P. Vismara and C. Laurenço, An abstract representation for molecular graphs, Discrete Mathematical Chemistry DIMACS series in discrete mathematics and theoretical computer science, pp.343-366, 2000.

S. Berasaluce, Fouille de données et acquisition de connaissances à partir de bases de données de réactions chimiques, 2002.

C. Laurenço, S. Berasaluce, P. Jauffret, A. Napoli, and G. Niel, Fouille de données dans les bases de données de réactions: Extraction de connaissances sur les méthodes de synthèse, Proceedings of " Chimiométrie 2003, pp.63-66, 2003.

J. L. Belletire and S. L. Fremont, Oxidative coupling., Tetrahedron Letters, vol.27, issue.2, pp.127-130, 1986.
DOI : 10.1016/S0040-4039(00)83958-1

T. Kashima, M. Tanoguchi, M. Arimoto, and H. Yamaguchi, Studies on the constituents of the seeds of Hernandia ovigera L. VIII. Syntheses of (.+-.)-desoxypodophyllotoxin and (.+-.)-.BETA.-peltatin-A methyl ether., CHEMICAL & PHARMACEUTICAL BULLETIN, vol.39, issue.1, pp.192-194, 1991.
DOI : 10.1248/cpb.39.192

X. Li, K. Huang, M. Lin, and L. Zhou, Studies on formic acid-catalyzed dimerization of isorhapontigenin and of resveratrol to tetralins, Tetrahedron, vol.59, issue.24, pp.4405-4413, 2003.
DOI : 10.1016/S0040-4020(03)00623-9

J. Beauhaire, J. Fourrey, M. Vuilhorgne, and J. Lallemand, Dimeric sesquiterpene lactones : Structure of absinthin, Tetrahedron Letters, vol.21, issue.33, pp.3191-3194, 1980.
DOI : 10.1016/S0040-4039(00)77442-9

M. C. Ghosh, M. Rahman, and S. Ghosh, Preparation of Kitol by Oxidative Esterification of Retinol, Indian J. Biochem.Biophys, vol.10, pp.289-290, 1973.

L. Mandell, D. E. Lee, and L. Courtney, Toward the total synthesis of quassin, The Journal of Organic Chemistry, vol.47, issue.4, pp.610-615, 1982.
DOI : 10.1021/jo00343a003

K. F. Cheng, Y. C. Kong, and T. Chan, Biomimetic synthesis of yeuhchukene, Journal of the Chemical Society, Chemical Communications, issue.2, pp.48-49, 1985.
DOI : 10.1039/c39850000048

J. E. Gervay, F. Mccapra, T. Money, and G. M. Sharma, Phenol oxidation. A model for the biosynthesis of the Erythrina alkaloids, Chemical Communications (London), issue.5, pp.142-143, 1966.
DOI : 10.1039/c19660000142

J. E. Toth and P. L. Fuchs, Synthesis via vinyl sulfones. 21. Total synthesis of dl-morphine, The Journal of Organic Chemistry, vol.52, issue.3, pp.473-475, 1987.
DOI : 10.1021/jo00379a038

T. Kametani, The Total Syntheses of Isoquinoline Alkaloids In The Total Synthesis of Natural Products, pp.1-272, 1977.

C. H. Heathcock, S. Piettre, R. B. Ruggeri, J. A. Ragan, and J. C. Kath, Daphniphyllum alkaloids. 12. A proposed biosynthesis of the pentacylic skeleton. proto-Daphniphylline, The Journal of Organic Chemistry, vol.57, issue.9, pp.2554-2566, 1992.
DOI : 10.1021/jo00035a009

I. Abe, M. Rohmer, and G. D. Prestwich, Enzymatic cyclization of squalene and oxidosqualene to sterols and triterpenes, Chemical Reviews, vol.93, issue.6, pp.2189-2206, 1993.
DOI : 10.1021/cr00022a009

K. B. Sharpless, d,1-Malabaricanediol. First cyclic natural product derived from squalene in a nonenzymic process, Journal of the American Chemical Society, vol.92, issue.23, pp.6999-7001, 1970.
DOI : 10.1021/ja00726a064

K. C. Nicolaou, Z. Yang, J. J. Liu, H. Ueno, P. G. Nantermet et al., Total synthesis of taxol, Nature, vol.367, issue.6464, pp.630-634, 1994.
DOI : 10.1038/367630a0

A. Krief and L. Provins, Stereoselective Synthesis of Methyl trans-Chrysanthemate and Related Derivatives, Tetrahedron Lett, vol.39, pp.2017-2020, 1998.

S. Hanessian and G. Rancourt, Carbohydrates as chiral intermediates in organic synthesis. Two functionalized chemical precursors comprising eight of the ten chiral centers of erythronolide A, Canadian Journal of Chemistry, vol.55, issue.6, pp.1111-1113, 1977.
DOI : 10.1139/v77-155

S. Alvarez and F. Serratosa, Symmetry guidelines for the design of convergent syntheses. On narcissistic coupling and la coupe du roi, Journal of the American Chemical Society, vol.114, issue.7, pp.2623-2630, 1992.
DOI : 10.1021/ja00033a040

T. Ho, Symmetry: a basis for synthesis design, 1995.