{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T23:03:30Z","timestamp":1767999810475,"version":"3.49.0"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1023\/a:1011433605905","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T05:16:33Z","timestamp":1040620593000},"page":"201-221","source":"Crossref","is-referenced-by-count":8,"title":["RNA Secondary Structure Determination and Representation Based on Constraints Satisfaction"],"prefix":"10.1007","volume":"6","author":[{"given":"Christine","family":"Gaspin","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"322928_CR1","first-page":"10","volume-title":"Proceedings of the Second International Conference on Intelligent Systems for Molecular Biology","author":"R. B. Altman","year":"1994","unstructured":"Altman, R. B., Weiser, B., & Noller, H. F. (1994). Constraint satisfaction techniques for modeling large complexes: application to the central domain of 16s ribosomal RNA. In Proceedings of the Second International Conference on Intelligent Systems for Molecular Biology, Stanford, CA: Stanford University, pages 10\u201318."},{"key":"322928_CR2","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1093\/nar\/20.4.819","volume":"20","author":"V. P. Antao","year":"1992","unstructured":"Antao, V. P., & Tinoco, I. (1992). Thermodynamic Parameters for Loop Formation in RNA and DNA Hairpin Tetraloops. Nucleic Acids Research, 20: 819\u2013824.","journal-title":"Nucleic Acids Research"},{"key":"322928_CR3","unstructured":"Bessiere, C., Freuder, E. C., & R\u00e9gin, J. C. (1995). Using inference to reduce arc-consistency computation. In Proceedings of the 14th IJCAI, Montr\u00e9al, Canada."},{"issue":"8","key":"322928_CR4","doi-asserted-by":"crossref","first-page":"1395","DOI":"10.1093\/nar\/24.8.1395","volume":"24","author":"B. Billoud","year":"1996","unstructured":"Billoud, B., Kontic, M., & Viari, A. (1996). Palingol: a declarative programming language to describe nucleic acids' secondary structures and to scan sequence databases. Nucleic Acids Research, 24(8): 1395\u20131403.","journal-title":"Nucleic Acids Research"},{"issue":"9","key":"322928_CR5","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1145\/362342.362367","volume":"16","author":"C. Bron","year":"1973","unstructured":"Bron, C., & Kerbosh, J. (1973). Algorithm 457: finding all cliques of an undirected graph. Communications of the ACM, 16(9): 575\u2013577.","journal-title":"Communications of the ACM"},{"issue":"1","key":"322928_CR6","first-page":"167","volume":"4","author":"R. E. Bruccoleri","year":"1988","unstructured":"Bruccoleri, R. E., & Heinrich, G. (1988). An improved algorithm for nucleic acid secondary structure dispaly. Computer Applications in BioSciences, 4(1): 167\u2013173.","journal-title":"Computer Applications in BioSciences"},{"key":"322928_CR7","doi-asserted-by":"crossref","unstructured":"Chetouani, F., Monestie, P., Thebault, P., Gaspin, C., & Michot, B. (1997). Essa: an integrated and interactive computer tool for analysing RNA secondary structure. Nucleic Acid Research, 25(17).","DOI":"10.1093\/nar\/25.17.3514"},{"key":"322928_CR8","first-page":"78","volume-title":"Proceedings of the Second International Conference on Intelligent Systems for Molecular Biology","author":"D. A. Clark","year":"1994","unstructured":"Clark, D. A., Rawlings, C. J., & Doursenot, S. (1994). Genetic map construction with constraints. In Proceedings of the Second International Conference on Intelligent Systems for Molecular Biology, Stanford, CA: Stanford University, pages 78\u201386."},{"issue":"1","key":"322928_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90002-6","volume":"34","author":"R. J. Dechter","year":"1987","unstructured":"Dechter, R. J., & Pearl, J. (1987). Network-based heuristics for constraint-satisfaction problems. Artificial Intelligence, 34(1): 1\u201338.","journal-title":"Artificial Intelligence"},{"key":"322928_CR10","first-page":"112","volume-title":"Proceedings of the Second International Conference on Intelligent Systems for Molecular Biology","author":"T. Di","year":"1994","unstructured":"Di, T., & Yee, C. N. (1994). A restriction mapping engine using constraint logic programming. In Proceedings of the Second International Conference on Intelligent Systems for Molecular Biology. Stanford, CA: Stanford University, pages 112\u2013120."},{"issue":"1","key":"322928_CR11","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/322290.322292","volume":"29","author":"E. C. Freuder","year":"1982","unstructured":"Freuder, E. C. (1982). A sufficient condition for backtrack-free search. Journal of the ACM, 29(1): 24\u201332.","journal-title":"Journal of the ACM"},{"issue":"4","key":"322928_CR12","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1145\/4221.4225","volume":"32","author":"E. C. Freuder","year":"1985","unstructured":"Freuder, E. C. (1985). A sufficient condition for backtrack-bounded search. Journal of the ACM, 32(4): 755\u2013766.","journal-title":"Journal of the ACM"},{"key":"322928_CR13","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0004-3702(92)90004-H","volume":"58","author":"E. C. Freuder","year":"1992","unstructured":"Freuder, E. C., & Wallace, R. J. (1992). Partial constraint satisfaction. Artificial Intelligence, 58: 21\u201370.","journal-title":"Artificial Intelligence"},{"key":"322928_CR14","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1006\/jmbi.1995.0608","volume":"254","author":"C. Gaspin","year":"1995","unstructured":"Gaspin, C., & Westhof, E. (1995). An interactive framework for RNA secondary structure prediction with a dynamical treatment of constraints. Journal of Molecular Biology, 254: 163\u2013174.","journal-title":"Journal of Molecular Biology"},{"key":"322928_CR15","unstructured":"Golumbic, M. C. (1992). Algorithm graph theory and perfect graphs. Computer Science and Applied Mathematics, Ed. Werner Rheinbolt, Academic Press, Inc., Harcourt Brace Jovanovich, Publishers."},{"key":"322928_CR16","first-page":"259","volume-title":"Nucleic Acids and Protein Sequence Analysis, A Practical Approach","author":"M. Gouy","year":"1987","unstructured":"Gouy, M. (1987). Secondary structure prediction of RNA. Nucleic Acids and Protein Sequence Analysis, A Practical Approach, pages 259\u2013284. M. J. Bishop and C. J. Rawlings, eds. (Oxford: IRL)"},{"key":"322928_CR17","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"R. M. Haralick","year":"1980","unstructured":"Haralick, R. M., & Elliot, G. L. (1980). Increasing tree search efficiently for constraint satisfaction problems. Artificial Intelligence, 14: 263\u2013313.","journal-title":"Artificial Intelligence"},{"key":"322928_CR18","first-page":"249","volume":"10","author":"J. Inglehart","year":"1994","unstructured":"Inglehart, J., & Nelson, P. C. (1994). On the limitations of automated restriction mapping. Computer Applications in BioSciences, 10: 249\u2013261.","journal-title":"Computer Applications in BioSciences"},{"key":"322928_CR19","doi-asserted-by":"crossref","first-page":"7706","DOI":"10.1073\/pnas.86.20.7706","volume":"86","author":"J. A. Jaeger","year":"1989","unstructured":"Jaeger, J. A., Turner, D. H., & Zuker, M. (1989). Improved predictions of secondary structures for RNA. Proceedings of the National Academy of Sciences USA, 86: 7706\u20137710.","journal-title":"Proceedings of the National Academy of Sciences USA"},{"key":"322928_CR20","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0076-6879(89)80104-1","volume":"180","author":"B. D. James","year":"1989","unstructured":"James, B. D., Olsen, G. J., & Pace, N. R. (1989). Phylogenetic comparative analysis of RNA secondary structures. Methods in Enzymology, 180: 227\u2013239.","journal-title":"Methods in Enzymology"},{"key":"322928_CR21","doi-asserted-by":"crossref","first-page":"1077","DOI":"10.1016\/S0092-8674(00)81308-2","volume":"85","author":"Z. Kiss-La\u015azlo","year":"1996","unstructured":"Kiss-La\u015azlo, Z., Henry, Y., Bachellerie, J.-P., Caizergues-Ferrer, M., & Kiss, T. (1996). Site-specific ribose methylation of preribosomal RNA: a novel function for small nucleolar RNAs. Cell, 85: 1077\u20131088.","journal-title":"Cell"},{"key":"322928_CR22","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1016\/0888-7543(92)90432-R","volume":"12","author":"S. Letovsky","year":"1992","unstructured":"Letovsky, S., & Berlyn, M. B. (1992). CPROP: a rule-based program for constructing genetic maps. Genomics, 12: 435\u2013446.","journal-title":"Genomics"},{"key":"322928_CR23","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. K. Mackworth","year":"1977","unstructured":"Mackworth, A. K. (1977). Consistency in networks of relations. Artificial Intelligence, 8: 99\u2013118.","journal-title":"Artificial Intelligence"},{"key":"322928_CR24","doi-asserted-by":"crossref","first-page":"1255","DOI":"10.1126\/science.1716375","volume":"253","author":"F. Major","year":"1991","unstructured":"Major, F., Turcotte, M., Gautheret, D., Lapalme, G., Fillion, E., & Cedergren, R. (1991). The combination of symbolic and numerical computation for three-dimensional modeling of RNA. Science, 253: 1255\u20131260.","journal-title":"Science"},{"key":"322928_CR25","doi-asserted-by":"crossref","first-page":"1105","DOI":"10.1002\/bip.360290621","volume":"29","author":"J. McCaskill","year":"1990","unstructured":"McCaskill, J. (1990). The equilibrium partition function and base pair binding probabilities for RNA secondary structure. Biopolymers, 29: 1105\u20131119.","journal-title":"Biopolymers"},{"key":"322928_CR26","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1016\/0022-2836(90)90386-Z","volume":"216","author":"F. Michel","year":"1990","unstructured":"Michel, F. & Westhof, E. (1990). Modelling of the three-dimensional architecture of group I catalytic introns based on comparative sequence analysis. Journal of Molecular Biology, 216: 585\u2013610.","journal-title":"Journal of Molecular Biology"},{"key":"322928_CR27","doi-asserted-by":"crossref","first-page":"1676","DOI":"10.1126\/science.273.5282.1676","volume":"273","author":"F. Michel","year":"1996","unstructured":"Michel, F., & Westhof, E. (1996). Visualizing the logic behind RNA self-assembly. Science, 273: 1676\u20131677.","journal-title":"Science"},{"key":"322928_CR28","unstructured":"Mittal, S., & Falkenhainer, B. (1990). Dynamic constraint satisfaction problems. In AAAI90, Proceedings of the Eighth National Conference on Artificial Intelligence."},{"issue":"5","key":"322928_CR29","first-page":"551","volume":"9","author":"G. Muller","year":"1993","unstructured":"Muller, G., Gaspin, C., Etienne, A., & Westhof, E. (1993). Automatic display of RNA secondary structures. Computer Applications in BioSciences, 9(5): 551\u2013561.","journal-title":"Computer Applications in BioSciences"},{"issue":"3","key":"322928_CR30","first-page":"205","volume":"12","author":"A. Nakaya","year":"1996","unstructured":"Nakaya, A., Taura, K., Yamamoto, K., & Yonezawa, A. (1996). Visualization of RNA secondary structures using highly parallel computers. Computer Applications in BioSciences, 12(3): 205\u2013211.","journal-title":"Computer Applications in BioSciences"},{"key":"322928_CR31","doi-asserted-by":"crossref","first-page":"6309","DOI":"10.1073\/pnas.77.11.6309","volume":"77","author":"R. Nussinov","year":"1980","unstructured":"Nussinov, R., & Jacobson, A. B. (1980). Fast algorithm for predicting the secondary structure of single stranded RNA. Proceedings of the National Academy of Sciences USA, 77: 6309\u20136313.","journal-title":"Proceedings of the National Academy of Sciences USA"},{"key":"322928_CR32","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1137\/0135006","volume":"35","author":"R. Nussinov","year":"1978","unstructured":"Nussinov, R., Pieczenick, G., Griggs, J. R., & Kleitman, D. J. (1978). Algorithms for loop matching. SIAM Journal of Applied Mathematics, 35: 68\u201382.","journal-title":"SIAM Journal of Applied Mathematics"},{"issue":"1","key":"322928_CR33","first-page":"101","volume":"11","author":"J. Perrochon-Dorisse","year":"1995","unstructured":"Perrochon-Dorisse, J., Chetouani, F., Aurel, S., Iscolo, N., & Michot, B. (1995). RNA_d2: a computer program for editing and display RNA secondary structures. Computer Applications in BioSciences, 11(1): 101\u2013109.","journal-title":"Computer Applications in BioSciences"},{"key":"322928_CR34","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1093\/nar\/23.1.18","volume":"23","author":"C. Philippe","year":"1995","unstructured":"Philippe, C., Bnard, L., Portier, C., Westhof, E., Ereshmann, B., & Ehresmann, C. (1995). Molecular dissection of the pseudoknot governing the translational regulation of Escherichia coli ribosomal protein S15. Nucleic Acids Research, 23: 18\u201328.","journal-title":"Nucleic Acids Research"},{"issue":"22","key":"322928_CR35","doi-asserted-by":"crossref","first-page":"4679","DOI":"10.1093\/nar\/25.22.4679","volume":"25","author":"P. De Rijk","year":"1997","unstructured":"De Rijk, P., & De Wachter, R. (1997). RnaViz, a program for the visualisation of RNA secondary structure. Nucleic Acids Research, 25(22): 4679\u20134684.","journal-title":"Nucleic Acids Research"},{"key":"322928_CR36","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0004-3702(81)90007-2","volume":"16","author":"M. Stefik","year":"1981","unstructured":"Stefik, M. (1981). Planning with constraints (MOL GEN:part 1). Artificial Intelligence, 16: 111\u2013170.","journal-title":"Artificial Intelligence"},{"key":"322928_CR37","volume-title":"Foundations of Constraint Satisfaction","author":"E. Tsang","year":"1993","unstructured":"Tsang, E. (1993). Foundations of Constraint Satisfaction. San Diego: Academic Press Inc."},{"key":"322928_CR38","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1146\/annurev.bb.17.060188.001123","volume":"17","author":"D. H. Turner","year":"1988","unstructured":"Turner, D. H., Sugimoto, N., & Freier, S. M. (1988). RNA structure prediction. Annual Review of Biophysics and Chemistry, 17: 167\u2013192.","journal-title":"Annual Review of Biophysics and Chemistry"},{"key":"322928_CR39","doi-asserted-by":"crossref","first-page":"9218","DOI":"10.1073\/pnas.91.20.9218","volume":"91","author":"A. E. Walter","year":"1994","unstructured":"Walter, A. E., Turner, D. H., Kim, J., Lytlle, M. H., Muller, P., Mathews, D. H., & Zuker, M. (1994). Coaxial stacking of helixes enhances binding of oligoribonucleotides and improves predictions of RNA folding. Proceedings of the National Academy of Sciences USA, 91: 9218\u20139222.","journal-title":"Proceedings of the National Academy of Sciences USA"},{"key":"322928_CR40","first-page":"399","volume-title":"Theoretical Biochemistry and Molecular Biophysics","author":"E. Westhof","year":"1990","unstructured":"Westhof, E., Romby, P., Ehresmann, C., & Ehresmann, B. (1990). Computer-aided structural biochemistry of ribonucleic acids. In D. L. Beveridge and R. Lavery, eds., Theoretical Biochemistry and Molecular Biophysics, pages 399\u2013409. Adeninc Press, New York."},{"key":"322928_CR41","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/0933-3657(93)90036-3","volume":"5","author":"R. H. C. Yap","year":"1993","unstructured":"Yap, R. H. C. (1993). A constraint logic programming framework for constructing DNA restriction maps. Artificial Intelligence in Medicine, 5: 447\u2013464.","journal-title":"Artificial Intelligence in Medicine"},{"key":"322928_CR42","first-page":"447","volume-title":"Proceedings of the Second International Conference on Intelligent Systems for Molecular Biology","author":"D. E. Zimmerman","year":"1993","unstructured":"Zimmerman, D. E., Kulikowski, C. A., & Montelione, G. T. (1993). A constraint reasoning system for automating sequence-specific resonance assignments from multidimensional protein NMR spectra. In Proceedings of the Second International Conference on Intelligent Systems for Molecular Biology. Bethesda, MD: National Library of Medicine, pages 447\u2013455."},{"key":"322928_CR43","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1126\/science.2468181","volume":"244","author":"M. Zuker","year":"1989","unstructured":"Zuker, M. (1989). On finding all suboptimal foldings of a RNA molecule. Science, 244: 48\u201352.","journal-title":"Science"},{"key":"322928_CR44","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1093\/nar\/9.1.133","volume":"9","author":"M. Zuker","year":"1981","unstructured":"Zuker, M., & Stiegler, P. (1981). Optimal computer folding of large RNA sequences using thermodynamics and auxiliary information. Nucleic Acids Research, 9: 133\u2013148.","journal-title":"Nucleic Acids Research"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011433605905.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011433605905\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011433605905.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T04:08:03Z","timestamp":1752379683000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011433605905"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":44,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2001,6]]}},"alternative-id":["322928"],"URL":"https:\/\/doi.org\/10.1023\/a:1011433605905","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}