{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T02:56:33Z","timestamp":1761620193328,"version":"build-2065373602"},"reference-count":113,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780444527264"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1016\/s1574-6526(06)80030-1","type":"book-chapter","created":{"date-parts":[[2008,2,26]],"date-time":"2008-02-26T16:51:39Z","timestamp":1204044699000},"page":"905-944","source":"Crossref","is-referenced-by-count":2,"title":["Bioinformatics and Constraints"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1574-6526(06)80030-1_bib1","first-page":"387","article-title":"Using constraint programming for lattice protein folding","volume":"3","author":"Backofen","year":"1998"},{"issue":"2","key":"10.1016\/S1574-6526(06)80030-1_bib2","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/S1570-8667(03)00076-5","article-title":"A polynomial time upper bound for the number of contacts in the hp-model on the face-centered-cubic lattice (fcc)","volume":"2","author":"Backofen","year":"2004","journal-title":"Journal of Discrete Algorithms"},{"key":"10.1016\/S1574-6526(06)80030-1_bib4","series-title":"Proceedings of the 19th International Conference on Logic Programming (ICLP 2003)","first-page":"49","article-title":"A constraint-based approach to structure prediction for simplified protein models that outperforms other existing methods","author":"Backofen","year":"2003"},{"issue":"4","key":"10.1016\/S1574-6526(06)80030-1_bib5","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1142\/S0219720004000818","article-title":"Local sequence-structure motifs in RNA","volume":"2","author":"Backofen","year":"2004","journal-title":"Journal of Bioinformatics and Computational Biology (JBCB)"},{"issue":"3","key":"10.1016\/S1574-6526(06)80030-1_bib6","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1093\/bioinformatics\/15.3.234","article-title":"Application of constraint programming techniques for structure prediction of lattice proteins with extended alphabets","volume":"15","author":"Backofen","year":"1999","journal-title":"Bioinformatics"},{"key":"10.1016\/S1574-6526(06)80030-1_bib7","first-page":"92","article-title":"Algorithmic approach to quantifying the hydrophobic force contribution in protein folding","volume":"5","author":"Backofen","year":"2000"},{"key":"10.1016\/S1574-6526(06)80030-1_bib8","series-title":"Proc. of 19th International Symposium on Theoretical Aspects of Computer Science (STAC2002)","first-page":"274","article-title":"On the complexity of protein similarity search under mrna structure constraints","volume":"volume 2285","author":"Backofen","year":"2002"},{"issue":"1","key":"10.1016\/S1574-6526(06)80030-1_bib9","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1093\/nar\/24.1.189","article-title":"The PROSITE database, its status in 1995","volume":"24","author":"Bairoch","year":"1996","journal-title":"Nucleic Acids Research"},{"key":"10.1016\/S1574-6526(06)80030-1_bib10","series-title":"Proc. of the First Annual International Conferences on Computational Molecular Biology (RECOMB97)","first-page":"27","article-title":"Sequence alignment with tandem repeats","author":"Benson","year":"1997"},{"key":"10.1016\/S1574-6526(06)80030-1_bib11","series-title":"Proc. of the Second Annual International Conferences on Computational Molecular Biology (RECOMB98)","first-page":"30","article-title":"Protein folding in the hydrophobic-hydrophilic (HP) modell is NP-complete","author":"Berger","year":"1998"},{"issue":"8","key":"10.1016\/S1574-6526(06)80030-1_bib12","doi-asserted-by":"crossref","first-page":"1395","DOI":"10.1093\/nar\/24.8.1395","article-title":"Palingol: a declarative programming language to describe nucleic acids' secondary structures and to scan sequence databases","volume":"24","author":"Billoud","year":"1996","journal-title":"Nucleic Acids Research"},{"key":"10.1016\/S1574-6526(06)80030-1_bib13","series-title":"Proc. of the 1st Annual International Conference on Computational Molecular Biology (RECOMB)","first-page":"47","article-title":"Chain growth algorithms for HP-type lattice proteins","author":"Bornberg-Bauer","year":"1997"},{"key":"10.1016\/S1574-6526(06)80030-1_bib14","first-page":"10689","article-title":"Modeling evolutionary landscapes: mutational stability, topology, and superfunnels in sequence space","volume":"96","author":"Bornberg-Bauer","year":"1999"},{"issue":"2","key":"10.1016\/S1574-6526(06)80030-1_bib15","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1089\/cmb.1998.5.279","article-title":"Approaches to the automatic discovery of patterns in biosequences","volume":"5","author":"Brazma","year":"1998","journal-title":"Journal of Computational Biology"},{"key":"10.1016\/S1574-6526(06)80030-1_bib16","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1038\/4462","article-title":"Exploring the new world of the genome with dna microarrays","volume":"21","author":"Brown","year":"1999","journal-title":"Nature Genetics"},{"key":"10.1016\/S1574-6526(06)80030-1_bib17","doi-asserted-by":"crossref","first-page":"1073","DOI":"10.1137\/0148063","article-title":"The multiple sequence alignment problem in biology","volume":"48","author":"Carrillo","year":"1988","journal-title":"SIAM Journal of Applied Mathematics"},{"year":"1998","series-title":"Third Community Wide Experiment on the Critical Assessment of Techniques for Protein Structure Prediction","key":"10.1016\/S1574-6526(06)80030-1_bib18"},{"issue":"1","key":"10.1016\/S1574-6526(06)80030-1_bib19","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/S0014-5793(00)01771-3","article-title":"Gene expression profiling: monitoring transcription and translation products using dna microarrays and proteomics","volume":"480","author":"Celis","year":"2005","journal-title":"FEBS Letters: Functional Genomics"},{"key":"10.1016\/S1574-6526(06)80030-1_bib20","series-title":"Proc. of the First Annual International Conferences on Computational Molecular Biology (RECOMB97)","first-page":"84","article-title":"A branch-and-cut approach to physical mapping with end-probes","author":"Christof","year":"1997"},{"key":"10.1016\/S1574-6526(06)80030-1_bib21","series-title":"Mathematical and Computational Biology","article-title":"Computational Molecular Biology: An Introduction","author":"Clote","year":"2000"},{"issue":"2","key":"10.1016\/S1574-6526(06)80030-1_bib22","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1145\/1031120.1031122","article-title":"Bioinformatics\u2014an introduction for computer scientists","volume":"36","author":"Cohen","year":"2004","journal-title":"ACM Computing Surveys"},{"issue":"4","key":"10.1016\/S1574-6526(06)80030-1_bib23","first-page":"389","article-title":"RNAlign program: alignment of RNA sequences using both primary and secondary structures","volume":"10","author":"Corpet","year":"1994","journal-title":"Comput Appl Biosci"},{"key":"10.1016\/S1574-6526(06)80030-1_bib24","series-title":"Proceedings of STOC 1998","first-page":"597","article-title":"On the complexity of protein folding","author":"Crescenzi","year":"1998"},{"key":"10.1016\/S1574-6526(06)80030-1_bib25","first-page":"138","article-title":"On protein synthesis","volume":"12","author":"Crick","year":"1958","journal-title":"Symposium of the Society of Experimental Biology"},{"issue":"3","key":"10.1016\/S1574-6526(06)80030-1_bib26","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1093\/bib\/4.3.246","article-title":"An overview of data models for the analysis of biochemical pathways","volume":"4","author":"Deville","year":"2003","journal-title":"Briefings in Bioinformatics"},{"key":"10.1016\/S1574-6526(06)80030-1_bib27","series-title":"Proceedings of the Tenth International Conference on Logic Programming","first-page":"774","article-title":"A Minimal Extension of the WAM for clp(FD)","author":"Diaz","year":"1993"},{"key":"10.1016\/S1574-6526(06)80030-1_bib28","first-page":"1942","article-title":"Cooperativity in protein-folding kinetics","volume":"90","author":"Dill","year":"1993"},{"key":"10.1016\/S1574-6526(06)80030-1_bib29","series-title":"Proceedings of JOBIM 2004","article-title":"Constrained path finding in biochemical networks","author":"Dooms","year":"2004"},{"key":"10.1016\/S1574-6526(06)80030-1_bib30","series-title":"Proceedings of the second International Mozart\/Oz Conference","first-page":"237","article-title":"A mozart implementation of CP(bionet)","author":"Dooms","year":"2004"},{"key":"10.1016\/S1574-6526(06)80030-1_bib31","series-title":"Proceedings of the Eleventh International Conference on Principles and Practice of Constraint Programming","first-page":"211","article-title":"CP(graph): Introducing a graph computation domain in constraint programming","author":"Dooms","year":"2005"},{"issue":"12","key":"10.1016\/S1574-6526(06)80030-1_bib32","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1016\/S0168-9525(97)01347-4","article-title":"Searching for patterns in genomic data","volume":"13","author":"Dsouza","year":"1997","journal-title":"Trends in Genetics"},{"year":"1998","series-title":"Biological Sequence and Analysis","author":"Durbin","key":"10.1016\/S1574-6526(06)80030-1_bib33"},{"article-title":"Structure Comparison and Structure Patterns","year":"1999","author":"Eidhammer","key":"10.1016\/S1574-6526(06)80030-1_bib34"},{"issue":"2\u20133","key":"10.1016\/S1574-6526(06)80030-1_bib35","first-page":"141","article-title":"A constraint based structure description language for biosequences","volume":"6","author":"Eidhammer","year":"2001","journal-title":"Constraints"},{"year":"1997","series-title":"Biochemistry and Molecular Biology","author":"Elliott","key":"10.1016\/S1574-6526(06)80030-1_bib36"},{"key":"10.1016\/S1574-6526(06)80030-1_bib37","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1111\/j.1558-5646.1985.tb00420.x","article-title":"Confidence limits on phylogenies: an approach using the bootstrap","volume":"39","author":"Feldenstein","year":"1985","journal-title":"Evolution"},{"key":"10.1016\/S1574-6526(06)80030-1_bib38","doi-asserted-by":"crossref","first-page":"406","DOI":"10.2307\/2412116","article-title":"Toward defining the course of evolution: minimum change for a specified tree topology","volume":"20","author":"Fitch","year":"1971","journal-title":"Systematic Zoology"},{"issue":"1","key":"10.1016\/S1574-6526(06)80030-1_bib39","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1186\/1471-2105-6-25","article-title":"Integrating alternative splicing detection into gene prediction","volume":"6","author":"Foissac","year":"2005","journal-title":"BMC Bioinformatics"},{"key":"10.1016\/S1574-6526(06)80030-1_bib40","first-page":"325","article-title":"Pattern searching\/alignment with RNA primary and secondary structures: an effective descriptor for tRNA","volume":"6","author":"Gautheret","year":"1990","journal-title":"Computer Applications in the Biosciences"},{"key":"10.1016\/S1574-6526(06)80030-1_bib41","first-page":"9061","article-title":"Gene recognition via spliced sequence alignment","volume":"93","author":"Gelfand","year":"1996"},{"key":"10.1016\/S1574-6526(06)80030-1_bib42","series-title":"ICCP: International Conference on Constraint Programming (CP), LNCS","first-page":"837","article-title":"Supertree construction with constraint programming","author":"Gent","year":"2003"},{"key":"10.1016\/S1574-6526(06)80030-1_bib43","series-title":"Adaptive Processing of Sequences and Data Structures","first-page":"168","article-title":"Learning dynamic Bayesian networks","author":"Ghahramani","year":"1998"},{"key":"10.1016\/S1574-6526(06)80030-1_bib44","series-title":"RECOMB99 (poster)","article-title":"Tops cartoons: formalisation, searching and comparison","author":"Gilbert","year":"1999"},{"issue":"1","key":"10.1016\/S1574-6526(06)80030-1_bib45","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/S0097-8485(01)00096-1","article-title":"Topology-based protein structure comparison using a pattern discovery technique","volume":"26","author":"Gilbert","year":"2001","journal-title":"Journal of Computers and Chemistry"},{"key":"10.1016\/S1574-6526(06)80030-1_bib46","series-title":"Artificial Intelligence and Heuristic Methods in Bioinformatics","first-page":"128","article-title":"Techniques for comparison, pattern matching and pattern discovery: From sequences to protein topology","author":"Gilbert","year":"2003"},{"issue":"4","key":"10.1016\/S1574-6526(06)80030-1_bib47","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1093\/bioinformatics\/15.4.317","article-title":"Motif-based searching in tops protein topology databases","volume":"15","author":"Gilbert","year":"1999","journal-title":"Bioinformatics"},{"issue":"2","key":"10.1016\/S1574-6526(06)80030-1_bib48","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1089\/cmb.1995.2.219","article-title":"Physical mapping by sts-hybradisation: Algorithmic strategies and the challenge of software evaluation","volume":"2","author":"Greenberg","year":"1995","journal-title":"Journal of Computational Biology"},{"issue":"19","key":"10.1016\/S1574-6526(06)80030-1_bib49","doi-asserted-by":"crossref","first-page":"5654","DOI":"10.1093\/nar\/gkg770","article-title":"Improving the Arabidopsis genome annotation using maximal transcript alignment assemblies","volume":"31","author":"Haas","year":"2003","journal-title":"Nucleic Acids Research"},{"issue":"4","key":"10.1016\/S1574-6526(06)80030-1_bib50","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1111\/j.1365-2958.1995.tb02368.x","article-title":"Mobile gene cassettes and integrons: capture and spread of genes by site-specific recombination","volume":"15","author":"Hall","year":"1995","journal-title":"Mol Microbiol"},{"key":"10.1016\/S1574-6526(06)80030-1_bib51","series-title":"Proc. of the First Annual International Conferences on Computational Molecular Biology (RECOMB97)","first-page":"128","article-title":"On the computational complexity of sequence design problems","author":"Hart","year":"1997"},{"issue":"92","key":"10.1016\/S1574-6526(06)80030-1_bib52","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1016\/0959-440X(95)80014-R","article-title":"Molecular chaperones in cellular protein folding","volume":"5","author":"Hartl","year":"1995","journal-title":"Current Opinion in Structural Biology"},{"key":"10.1016\/S1574-6526(06)80030-1_bib53","series-title":"Proceedings First International Conference on Intelligent Systems for Molecular Biology","first-page":"172","article-title":"PALM \u2014 a pattern language for molecular biology","author":"Helgesen","year":"1993"},{"issue":"7","key":"10.1016\/S1574-6526(06)80030-1_bib54","doi-asserted-by":"crossref","first-page":"R58","DOI":"10.1186\/gb-2005-6-7-r58","article-title":"Creation and disruption of protein features by alternative splicing \u2014 a novel mechanism to modulate function","volume":"6","author":"Hiller","year":"2005","journal-title":"Genome Biol"},{"key":"10.1016\/S1574-6526(06)80030-1_bib55","doi-asserted-by":"crossref","DOI":"10.1093\/bioinformatics\/bth229","article-title":"Alignment of RNA base pairing probability matrices","author":"Hofacker","year":"2004","journal-title":"Bioinformatics"},{"key":"10.1016\/S1574-6526(06)80030-1_bib56","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1016\/S0092-8674(00)80232-9","article-title":"Deadly conformations: Protein misfolding in prion disease","volume":"89","author":"Horwich","year":"1997","journal-title":"Cell"},{"issue":"2","key":"10.1016\/S1574-6526(06)80030-1_bib57","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1089\/10665270252935511","article-title":"A general edit distance between RNA structures","volume":"9","author":"Jiang","year":"2002","journal-title":"Journal of Computational Biology"},{"issue":"2","key":"10.1016\/S1574-6526(06)80030-1_bib58","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1002\/(SICI)1097-0134(19990201)34:2<206::AID-PROT6>3.0.CO;2-N","article-title":"Discovery of local packing motifs in protein structures","volume":"34","author":"Jonassen","year":"1999","journal-title":"Proteins"},{"year":"2004","series-title":"An Introduction to Bioinformatics Algorithms (Computational Molecular Biology)","author":"Jones","key":"10.1016\/S1574-6526(06)80030-1_bib59"},{"issue":"4","key":"10.1016\/S1574-6526(06)80030-1_bib60","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1093\/bioinformatics\/14.4.309","article-title":"Grand challenges in bioinformatics","volume":"14","author":"Kanehisa","year":"1998","journal-title":"Bioinformatics"},{"key":"10.1016\/S1574-6526(06)80030-1_bib61","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1093\/nar\/28.1.27","article-title":"KEGG: Kyoto Encyclopedia of Genes and Genomes","volume":"28","author":"Kanehisa","year":"2000","journal-title":"Nucleic Acids Res."},{"issue":"1\u20133","key":"10.1016\/S1574-6526(06)80030-1_bib62","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/S0166-218X(00)00194-3","article-title":"A polyhedral approach to sequence alignment problems","volume":"104","author":"Kececioglu","year":"2000","journal-title":"Discrete Applied Mathematics"},{"key":"10.1016\/S1574-6526(06)80030-1_bib63","series-title":"Proc. 4th Symp. Combinatorical Pattern Matching","first-page":"106","article-title":"The maximum weight trace problem in multiple sequence alignment","author":"Kececioglu","year":"1993"},{"key":"10.1016\/S1574-6526(06)80030-1_bib64","article-title":"Exact and Approximation Algorithms for DNA Sequence Reconstruction","author":"Kececioglu","year":"1991","journal-title":"PhD thesis, University of Arizona"},{"issue":"1","key":"10.1016\/S1574-6526(06)80030-1_bib65","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00294-002-0285-z","article-title":"Looking beyond the details: a rise in system-oriented approaches in genetics and molecular biology","volume":"41","author":"Kitano","year":"2002","journal-title":"Current Genetics"},{"issue":"2","key":"10.1016\/S1574-6526(06)80030-1_bib66","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1089\/cmb.1996.3.289","article-title":"An algorithm for finding maximal common subtopologies in a set of protein structures","volume":"3","author":"Koch","year":"1996","journal-title":"Journal of Computational Biology"},{"issue":"4\u20133","key":"10.1016\/S1574-6526(06)80030-1_bib67","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1023\/A:1020577603762","article-title":"Psico: Solving protein structures with constraint programming and optimization","volume":"7","author":"Krippahl","year":"2002","journal-title":"Constraints"},{"issue":"16","key":"10.1016\/S1574-6526(06)80030-1_bib68","doi-asserted-by":"crossref","first-page":"3454","DOI":"10.1093\/bioinformatics\/bti546","article-title":"Querying and computing with BioCyc databases","volume":"21","author":"Krummenacker","year":"2005","journal-title":"Bioinformatics"},{"key":"10.1016\/S1574-6526(06)80030-1_bib69","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1006\/jmbi.1996.0053","article-title":"Global optimum protein threading with gapped alignment and empirical pair score functions","volume":"255","author":"Lathrop","year":"1996","journal-title":"Journal of Molecular Biology"},{"key":"10.1016\/S1574-6526(06)80030-1_bib70","doi-asserted-by":"crossref","first-page":"3986","DOI":"10.1021\/ma00200a030","article-title":"A lattice statistical mechanics model of the conformational and sequence spaces of proteins","volume":"22","author":"Lau","year":"1989","journal-title":"Macromolecules"},{"key":"10.1016\/S1574-6526(06)80030-1_bib71","series-title":"Proceedings of the Fourth International Conference on Intelligent Systems for Molecular Biology","first-page":"143","article-title":"A grammar-based unification of several alignment and folding algorithms","author":"Lefebvre","year":"1996"},{"key":"10.1016\/S1574-6526(06)80030-1_bib72","doi-asserted-by":"crossref","first-page":"D443","DOI":"10.1093\/nar\/gkh139","article-title":"The aMAZE LightBench: a web interface to a relational database of cellular processes","volume":"32","author":"Lemer","year":"2004","journal-title":"Nucleic Acids Res."},{"issue":"3","key":"10.1016\/S1574-6526(06)80030-1_bib73","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1089\/cmb.1998.5.517","article-title":"A polyhedral approach to RNA sequence structure alignment","volume":"5","author":"Lenhof","year":"1998","journal-title":"Journal of Computational Biology"},{"key":"10.1016\/S1574-6526(06)80030-1_bib74","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1038\/4447","article-title":"High density synthetic oligonucleotide arrays","volume":"21","author":"Lipshutz","year":"1999","journal-title":"Nature Genetics"},{"issue":"22","key":"10.1016\/S1574-6526(06)80030-1_bib75","doi-asserted-by":"crossref","first-page":"4724","DOI":"10.1093\/nar\/29.22.4724","article-title":"RNAMotif, an RNA secondary structure definition and search algorithm","volume":"29","author":"Macke","year":"2001","journal-title":"Nucleic Acids Research"},{"key":"10.1016\/S1574-6526(06)80030-1_bib76","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0020-0255(79)90023-9","article-title":"Relational consistency algorithms and their application in finding subgraph and graph isomorphisms","volume":"19","author":"McGregor","year":"1979","journal-title":"Information Sciences"},{"key":"10.1016\/S1574-6526(06)80030-1_bib77","doi-asserted-by":"crossref","first-page":"D251","DOI":"10.1093\/nar\/gkh060","article-title":"Tops: an enhanced database of protein structural topology","volume":"32","author":"Michalopoulos","year":"2003","journal-title":"Nucleic Acids Research, Database issue"},{"key":"10.1016\/S1574-6526(06)80030-1_bib78","series-title":"Workshop on Constraint Based Methods for Bioinformatics","first-page":"29","article-title":"Constrained metabolic network analysis: discovering pathways using CP(Graph)","author":"Deville","year":"2005"},{"key":"10.1016\/S1574-6526(06)80030-1_bib79","series-title":"Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2\u20136, 2005, Proceedings","first-page":"48","article-title":"A new constraint solver for 3d lattices and its application to the protein folding problem","volume":"volume 3835","author":"Pal\u00f9","year":"2005"},{"issue":"1","key":"10.1016\/S1574-6526(06)80030-1_bib80","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1186\/1471-2105-5-186","article-title":"Constraint Logic Programming approach to protein structure prediction","volume":"5","author":"Dal Palu","year":"2004","journal-title":"BMC Bioinformatics"},{"issue":"Suppl 1","key":"10.1016\/S1574-6526(06)80030-1_bib81","doi-asserted-by":"crossref","first-page":"S215","DOI":"10.1093\/bioinformatics\/17.suppl_1.S215","article-title":"Inferring subnetworks from perturbed expression profiles","volume":"17","author":"Pe'er","year":"2001","journal-title":"Bioinformatics"},{"issue":"8","key":"10.1016\/S1574-6526(06)80030-1_bib82","doi-asserted-by":"crossref","first-page":"1065","DOI":"10.1089\/cmb.2005.12.1065","article-title":"Structured motifs search","volume":"12","author":"Policriti","year":"2005","journal-title":"Journal of Computational Biology"},{"key":"10.1016\/S1574-6526(06)80030-1_bib83","series-title":"Principles and Practice of Constraint Programming \u2014 CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 \u2013 October 3, 2003, Proceedings","first-page":"940","article-title":"A sat-based approach to multiple sequence alignment","volume":"volume 2833","author":"Prestwich","year":"2003"},{"key":"10.1016\/S1574-6526(06)80030-1_bib84","series-title":"Proc. of the First Annual International Conferences on Compututational Molecular Biology (RECOMB97)","first-page":"241","article-title":"A branch-and-cut algorithm for multiple sequence alignment","author":"Reinert","year":"1997"},{"issue":"1","key":"10.1016\/S1574-6526(06)80030-1_bib85","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1093\/bioinformatics\/14.1.55","article-title":"Combinatorial pattern discovery in biological sequences","volume":"14","author":"Rigoutsos","year":"1998","journal-title":"Bioinformatics"},{"issue":"5","key":"10.1016\/S1574-6526(06)80030-1_bib86","doi-asserted-by":"crossref","first-page":"810","DOI":"10.1137\/0145048","article-title":"Simultaneous solution of the RNA folding, alignment and protosequence problems","volume":"45","author":"Sankoff","year":"1985","journal-title":"SIAM J. Appl. Math."},{"key":"10.1016\/S1574-6526(06)80030-1_bib87","series-title":"Artificial Intelligence and Molecular Biology","first-page":"47","article-title":"The computational linguistics of biological sequences","author":"Searls","year":"1993"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(06)80030-1_bib88","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0743-1066(95)00034-H","article-title":"String variable grammar: A logic grammar formalism for the bioligical language of DNA","volume":"24","author":"Searls","year":"1995","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(06)80030-1_bib89","series-title":"Proceedings Second International Conference on Bioinformatics, Supercomputing, and Complex Genome Analysis","first-page":"89","article-title":"A syntactic pattern recognition system for DNA sequences","author":"Searls","year":"1993"},{"issue":"3","key":"10.1016\/S1574-6526(06)80030-1_bib90","first-page":"279","article-title":"Scrutineer: a computer program that flexibly seeks and describes motifs and profiles in protein sequences databases","volume":"6","author":"Sibbald","year":"1990","journal-title":"Computer Applications in the Biosciences"},{"issue":"1","key":"10.1016\/S1574-6526(06)80030-1_bib91","first-page":"45","article-title":"Overseer: a nucleotide sequence searching tool","volume":"8","author":"Sibbald","year":"1992","journal-title":"Computer Applications in the Biosciences"},{"issue":"16","key":"10.1016\/S1574-6526(06)80030-1_bib92","doi-asserted-by":"crossref","first-page":"3352","DOI":"10.1093\/bioinformatics\/bti550","article-title":"MARNA: multiple alignment and consensus structure prediction of RNAs based on sequence structure comparisons","volume":"21","author":"Siebert","year":"2005","journal-title":"Bioinformatics"},{"key":"10.1016\/S1574-6526(06)80030-1_bib93","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1016\/0196-8858(81)90046-4","article-title":"Comparison of biosequences","volume":"2","author":"Smith","year":"1981","journal-title":"Adv. appl. Math."},{"key":"10.1016\/S1574-6526(06)80030-1_bib94","series-title":"Computer Science Today","first-page":"324","article-title":"The Oz programming model","volume":"vol. 1000","author":"Smolka","year":"1995"},{"issue":"1","key":"10.1016\/S1574-6526(06)80030-1_bib95","doi-asserted-by":"crossref","first-page":"R6","DOI":"10.1186\/gb-2003-4-1-r6","article-title":"Towards reconstruction of gene networks from expression data by supervised learning","volume":"4","author":"Soinov","year":"2003","journal-title":"Genome Biology"},{"key":"10.1016\/S1574-6526(06)80030-1_bib96","first-page":"1409","article-title":"A statistical method for evaluating systematic relationships","volume":"28","author":"Sokal","year":"1958","journal-title":"University of Kansas Scientific Bulletin"},{"key":"10.1016\/S1574-6526(06)80030-1_bib97","first-page":"193","article-title":"Searching for Patterns in Protein and Nucleic Acid Sequencies","volume":"Vol. 183","author":"Staden","year":"1990"},{"key":"10.1016\/S1574-6526(06)80030-1_bib98","doi-asserted-by":"crossref","first-page":"839","DOI":"10.1093\/oxfordjournals.molbev.a026364","article-title":"Parsimony, likelihood, and the role of models in molecular phylogenetics","volume":"17","author":"Steel2","year":"2000","journal-title":"Molecular Biology and Evolution"},{"issue":"3","key":"10.1016\/S1574-6526(06)80030-1_bib99","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1016\/S0959-440X(99)80050-5","article-title":"Progress in protein structure prediction: assessment of CASP3","volume":"9","author":"Sternberg","year":"1999","journal-title":"Curr Opin Struct Biol"},{"key":"10.1016\/S1574-6526(06)80030-1_bib100","series-title":"The Fifth Workshop on Modelling and Solving Problems with Constraints","first-page":"53","article-title":"Combining constraint processing and pattern matching to describe and locate structured motifs in genomic sequences","author":"Thebault","year":"2005"},{"issue":"10","key":"10.1016\/S1574-6526(06)80030-1_bib101","doi-asserted-by":"crossref","first-page":"2537","DOI":"10.1093\/bioinformatics\/bti331","article-title":"Protein structure topological comparison, discovery and matching service","volume":"21","author":"Torrance","year":"2005","journal-title":"Bioinformatics"},{"issue":"1","key":"10.1016\/S1574-6526(06)80030-1_bib102","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/321921.321925","article-title":"An algorithm for subgraph isomorphism","volume":"23","author":"Ullmann","year":"1976","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1574-6526(06)80030-1_bib103","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1006\/jmbi.1993.1258","article-title":"Genetic algorithms for protein folding simulations","volume":"231","author":"Unger","year":"1993","journal-title":"Journal of Molecular Biology"},{"key":"10.1016\/S1574-6526(06)80030-1_bib104","series-title":"Computational Biology, LNCS 2006","first-page":"147","article-title":"Application of regulatory sequence analysis and metabolic network analysis to the interpretation of gene expression data","author":"van Helden","year":"2000"},{"issue":"9\u201310","key":"10.1016\/S1574-6526(06)80030-1_bib105","first-page":"921","article-title":"Representing and analysing molecular and cellular function in the computer","volume":"381","author":"van Helden","year":"2000","journal-title":"Journal of Biological Chemistry"},{"key":"10.1016\/S1574-6526(06)80030-1_bib106","series-title":"WABI: International Workshop on Algorithms in Bioinformatics, WABI, LNCS 2149","first-page":"98","article-title":"Pattern matching and pattern discovery algorithms for protein topologies","author":"Viksna","year":"2001"},{"year":"1995","series-title":"Introduction to Computational Biology","author":"Waterman","key":"10.1016\/S1574-6526(06)80030-1_bib107"},{"key":"10.1016\/S1574-6526(06)80030-1_bib108","series-title":"Proceedings of the Pacific Symposium on Biocomputing 2002 (PSB 2002)","first-page":"661","article-title":"Constraint-based hydrophobic core construction for protein structure prediction in the face-centered-cubic lattice","author":"Will","year":"2002"},{"key":"10.1016\/S1574-6526(06)80030-1_bib109","series-title":"Proceedings of the Workshop on Constraint Based Methods in Bioinformatics (WCB05)","first-page":"66","article-title":"Efficient constraint-based sequence alignment by cluster tree elimination","author":"Will","year":"2005"},{"issue":"2\/3","key":"10.1016\/S1574-6526(06)80030-1_bib110","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1023\/A:1011429504996","article-title":"Parametric sequence alignment with constraints","volume":"6","author":"Yap","year":"2001","journal-title":"Constraints"},{"issue":"3","key":"10.1016\/S1574-6526(06)80030-1_bib111","doi-asserted-by":"crossref","first-page":"2267","DOI":"10.1103\/PhysRevE.48.2267","article-title":"Sequence-structure relationships in proteins and copolymers","volume":"48","author":"Yue","year":"1993","journal-title":"Physical Review E"},{"key":"10.1016\/S1574-6526(06)80030-1_bib112","first-page":"146","article-title":"Forces of tertiary structural organization in globular proteins","volume":"92","author":"Yue","year":"1995"},{"key":"10.1016\/S1574-6526(06)80030-1_bib113","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1126\/science.2468181","article-title":"On Finding All Foldings of an RNA Molecule","volume":"244","author":"Zuker","year":"1989","journal-title":"Science"},{"key":"10.1016\/S1574-6526(06)80030-1_bib3","series-title":"Proc. of the 12th Annual Symposium on Combinatorial Pattern Matching (CPM2001)","first-page":"257","article-title":"Optimally compact finite sphere packings\u2014hydrophobic cores in the FCC","volume":"volume 2089","author":"Backofen","year":"2001"}],"container-title":["Foundations of Artificial Intelligence","Handbook of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652606800301?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652606800301?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T02:53:58Z","timestamp":1761620038000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574652606800301"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9780444527264"],"references-count":113,"URL":"https:\/\/doi.org\/10.1016\/s1574-6526(06)80030-1","relation":{},"ISSN":["1574-6526"],"issn-type":[{"type":"print","value":"1574-6526"}],"subject":[],"published":{"date-parts":[[2006]]}}}