{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T20:34:05Z","timestamp":1759178045973},"publisher-location":"New York, NY","reference-count":104,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781441916433"},{"type":"electronic","value":"9781441916440"}],"license":[{"start":{"date-parts":[[2010,10,23]],"date-time":"2010-10-23T00:00:00Z","timestamp":1287792000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-1-4419-1644-0_14","type":"book-chapter","created":{"date-parts":[[2010,11,4]],"date-time":"2010-11-04T15:43:29Z","timestamp":1288885409000},"page":"463-487","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Bioinformatics: A Challenge to Constraint Programming"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Barahona","sequence":"first","affiliation":[]},{"given":"Ludwig","family":"Krippahl","sequence":"additional","affiliation":[]},{"given":"Olivier","family":"Perriquet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,10,23]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-2836(81)90087-5","volume":"147","author":"TF Smith","year":"1981","unstructured":"Smith TF, Waterman MS (1981) Identification of common molecular subsequences. J Mol Biol 147:195\u2013197","journal-title":"J Mol Biol"},{"key":"14_CR2","doi-asserted-by":"crossref","first-page":"810","DOI":"10.1137\/0145048","volume":"45","author":"D Sankoff","year":"1985","unstructured":"Sankoff D (1985) Simultaneous solution of the RNA folding, alignment and protosequence problems. SIAM J Appl Math 45:810\u2013825","journal-title":"SIAM J Appl Math"},{"issue":"4693","key":"14_CR3","doi-asserted-by":"crossref","first-page":"1435","DOI":"10.1126\/science.2983426","volume":"227","author":"DJ Lipman","year":"1985","unstructured":"Lipman DJ, Pearson WR (1985) Rapid and sensitive protein similarity searches. Science 227(4693):1435\u20131441","journal-title":"Science"},{"issue":"3","key":"14_CR4","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/S0022-2836(05)80360-2","volume":"215","author":"SF Altschul","year":"1990","unstructured":"Altschul SF, Gish W, Miller W, Myers EW, Lipman DJ (1990) Basic local alignment search tool. J Mol Biol 215(3):403\u2013410","journal-title":"J Mol Biol"},{"issue":"2\u20133","key":"14_CR5","first-page":"157","volume":"6","author":"RHC Yap","year":"2001","unstructured":"Roland HC Yap (2001) Parametric sequence alignment with constraints. Constraints 6(2\u20133):157\u2013172","journal-title":"Constraints"},{"issue":"1\u20132","key":"14_CR6","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/s10601-007-9032-x","volume":"13","author":"S Will","year":"2008","unstructured":"Will S, Busch A, Backofen R (2008) Efficient sequence alignment with side-constraints by cluster tree elimination. Constraints 13(1\u20132):110\u2013129","journal-title":"Constraints"},{"key":"14_CR7","unstructured":"Carlsson M, Beldiceanu N (2004) Multiplex dispensation order generation for pyrosequencing. In: CP\u20192004 workshop on CSP techniques with immediate application, Toronto, Canada, 27 September 2004"},{"issue":"Database issue","key":"14_CR8","doi-asserted-by":"crossref","first-page":"D23","DOI":"10.1093\/nar\/gkh045","volume":"32","author":"DA Benson","year":"2004","unstructured":"Benson DA, Karsch-Mizrachi I, Lipman DJ, Ostell J, Wheeler DL (2004) GenBank: update. Nucleic Acids Res 32(Database issue):D23\u2013D26","journal-title":"Nucleic Acids Res"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Gent IP, Prosser P, Smith BM, Wei W (2003) Supertree construction using constraint programming. In: Proc CP2003. Lecture notes in computer science, vol 2833. Springer, Berlin","DOI":"10.1007\/978-3-540-45193-8_63"},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"901","DOI":"10.1613\/jair.2580","volume":"32","author":"NC Moore","year":"2008","unstructured":"Moore NC, Prosser P (2008) The ultrametric constraint and its application to phylogenetics. J Artif Intell Res 32:901\u2013938","journal-title":"J Artif Intell Res"},{"issue":"4","key":"14_CR11","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/s10817-007-9082-1","volume":"39","author":"DR Brooks","year":"2007","unstructured":"Brooks DR, Erdem E, Erdogan ST, Minett JW, Ringe D (2007) Inferring phylogenetic trees using answer set programming. J Automat Reason 39(4):471\u2013511","journal-title":"J Automat Reason"},{"issue":"1","key":"14_CR12","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1109\/TCBB.2007.1008","volume":"4","author":"G Wu","year":"2007","unstructured":"Wu G, You JH, Lin G (2007) Quartet-based phylogeny reconstruction with answer set programming. IEE\/ACM Trans Comput Biol Bioinform 4(1):139\u2013152","journal-title":"IEE\/ACM Trans Comput Biol Bioinform"},{"key":"14_CR13","first-page":"111","volume":"77","author":"AG Clark","year":"1990","unstructured":"Clark AG (1990) Inference of haplotypes from PCR-amplified samples of diploid populations. Mol Biol Evol 77:111\u2013122","journal-title":"Mol Biol Evol"},{"key":"14_CR14","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/3-540-44888-8_11","volume-title":"Combinatorial Pattern Matching","author":"Dan Gusfield","year":"2003","unstructured":"Gusfield D (2003) Haplotype inference by pure parsimony. In: 14th Annual symposium on combinatorial pattern matching (CPM03). Springer, Heidelberg, pp 144\u2013155"},{"key":"14_CR15","doi-asserted-by":"crossref","first-page":"1261","DOI":"10.1089\/cmb.2005.12.1261","volume":"12","author":"Huang Y-T et al","year":"2005","unstructured":"Huang Y-T et al (2005) An approximation algorithm for haplotype inference by maximum parsimony. J Comput Biol 12:1261\u20131274","journal-title":"J Comput Biol"},{"key":"14_CR16","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1287\/ijoc.1040.0085","volume":"16","author":"G Lancia","year":"2004","unstructured":"Lancia G et al (2004) Haplotyping populations by pure parsimony: complexity of exact and approximation algorithms. INFORMS J Comput 16:348\u2013359","journal-title":"INFORMS J Comput"},{"key":"14_CR17","first-page":"128","volume-title":"Lecture Notes in Computer Science","author":"Rudi Cilibrasi","year":"2005","unstructured":"Cilibrasi R et al (2005) On the complexity of several haplotyping problems. In: 5th Workshop on algorithms in bioinformatics (WABI 2005). Springer, Mallorca, pp 128\u2013139"},{"key":"14_CR18","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1109\/TCBB.2006.40","volume":"3","author":"R Sharan","year":"2006","unstructured":"Sharan R et al (2006) Islands of tractability for parsimony haplotyping. IEEE\/ACM Trans Comput Biol Bioinform 3:303\u2013311","journal-title":"IEEE\/ACM Trans Comput Biol Bioinform"},{"issue":"2","key":"14_CR19","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1109\/TCBB.2006.24","volume":"3","author":"D Brown","year":"2006","unstructured":"Brown D, Harrower I (2006) Integer programming approaches to haplotype inference by pure parsimony. IEEE\/ACM Trans Comput Biol Bioinform 3(2):141\u2013154","journal-title":"IEEE\/ACM Trans Comput Biol Bioinform"},{"key":"14_CR20","doi-asserted-by":"crossref","first-page":"1773","DOI":"10.1093\/bioinformatics\/btg239","volume":"19","author":"L Wang","year":"2003","unstructured":"Wang L, Xu Y (2003) Haplotype inference by maximum parsimony. Bioinformatics 19:1773\u20131780","journal-title":"Bioinformatics"},{"key":"14_CR21","unstructured":"Lynce I, Marques-Silva J (2006) Efficient haplotype inference with Boolean satisfiability. In: AAAI conference on artificial intelligence, pages 104109, July 2006"},{"issue":"1","key":"14_CR22","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/s10601-007-9035-7","volume":"13","author":"I Lynce","year":"2008","unstructured":"Lynce I, Marques-Silva J, Prestwich S (2008) Boosting haplotype inference with local search. Constraints 13(1):155\u2013179","journal-title":"Constraints"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Lynce I, Graa A, Marques-Silva J, Oliveira AL (2008) Haplotype inference with boolean constraint solving: an overview. In: Proceedings of 20th IEEE international conference on tools with artificial intelligence (ICTAI 08), Dayton, OH, 2008","DOI":"10.1109\/ICTAI.2008.135"},{"key":"14_CR24","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1007\/978-3-642-04238-6_60","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"Esra Erdem","year":"2009","unstructured":"Erdem E, Erdem O, T\u00fcre F (2009)In: HAplo-ASP: haplotype inference using answer set programming, LPNMR09. Lecture notes in computer science, vol 5753. Springer, Berlin, pp 573\u2013578"},{"key":"14_CR25","first-page":"179","volume":"2008","author":"S Benedettini","year":"2008","unstructured":"Benedettini S, Roli A, Di Gaspero L (2008) Two-level ACO for haplotype inference under pure parsimony. In: ANTS conference, 2008, pp 179\u2013190","journal-title":"ANTS conference"},{"issue":"1","key":"14_CR26","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1093\/bioinformatics\/btn572","volume":"25","author":"S Climer","year":"2009","unstructured":"Climer S, J\u00e4ger G, Templeton AR, Zhang W (2009) How frugal is mother nature with haplotypes? Bioinformatics 25(1):68\u201374","journal-title":"Bioinformatics"},{"issue":"12","key":"14_CR27","doi-asserted-by":"crossref","first-page":"919","DOI":"10.1038\/35103511","volume":"2","author":"SR Eddy","year":"2001","unstructured":"Eddy SR (2001) Non-coding RNA genes and the modern RNA world. Nat Rev Genet 2(12):919\u2013929","journal-title":"Nat Rev Genet"},{"key":"14_CR28","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1006\/jmbi.1999.3001","volume":"293","author":"I Tinoco","year":"1999","unstructured":"Tinoco I, Bustamante C (1999) How RNA folds. J Mol Biol 293:271\u2013281","journal-title":"J Mol Biol"},{"key":"14_CR29","unstructured":"Moore PB (1999) The RNA folding problem. In: The RNA world, 2nd edn. CSHL Press, Cold Spring Harbor, pp 381\u2013401"},{"key":"14_CR30","first-page":"327","volume-title":"RNA secondary structure","author":"MS Waterman","year":"1995","unstructured":"Waterman MS (1995) RNA secondary structure. In: Introduction to computational biology. Chapman and Hall, London, pp 327\u2013343"},{"key":"14_CR31","doi-asserted-by":"crossref","first-page":"11555","DOI":"10.1073\/pnas.95.20.11555","volume":"95","author":"M Wu","year":"1998","unstructured":"Wu M, Tinoco I (1998) RNA folding causes secondary structure rearrangement. Proc Natl Acad Sci USA 95:11555\u201311560","journal-title":"Proc Natl Acad Sci USA"},{"issue":"1","key":"14_CR32","doi-asserted-by":"crossref","first-page":"32","DOI":"10.2174\/157489308783329823","volume":"3","author":"E Capriotti","year":"2008","unstructured":"Capriotti E, Marti-Renom MA (2008) Computational RNA structure prediction. Curr Bioinform 3(1):32\u201345","journal-title":"Curr Bioinform"},{"key":"14_CR33","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 AB (1980) Fast algorithm for predicting the secondary structure of single stranded RNA. Proc Natl Acad Sci USA 77:6309\u20136313","journal-title":"Proc Natl Acad Sci USA"},{"key":"14_CR34","doi-asserted-by":"crossref","first-page":"7706","DOI":"10.1073\/pnas.86.20.7706","volume":"86","author":"JA Jaeger","year":"1989","unstructured":"Jaeger JA, Turner DH, Zuker M (1989) Improved predictions of secondary structures for RNA. Proc Natl Acad Sci USA 86:7706\u20137710","journal-title":"Proc Natl Acad Sci USA"},{"issue":"6","key":"14_CR35","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1093\/bioinformatics\/15.6.446","volume":"15","author":"B Knudsen","year":"1999","unstructured":"Knudsen B, Hein J (1999) RNA secondary structure prediction using stochastic context-free grammars and evolutionary history. Bioinformatics 15(6):446\u2013454","journal-title":"Bioinformatics"},{"issue":"2","key":"14_CR36","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. J Mol Biol 254(2):163\u2013174","journal-title":"J Mol Biol"},{"issue":"2\u20133","key":"14_CR37","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1023\/A:1011433605905","volume":"6","author":"C Gaspin","year":"2001","unstructured":"Gaspin C (2001) RNA secondary structure determination and representation based on constraints satisfaction. Constraints 6(2\u20133):201\u2013221","journal-title":"Constraints"},{"issue":"17","key":"14_CR38","doi-asserted-by":"crossref","first-page":"2074","DOI":"10.1093\/bioinformatics\/btl354","volume":"22","author":"P Thebault","year":"2006","unstructured":"Thebault P, de Givry S, Schiex T, Gaspin C (2006) Searching RNA motifs and their intermolecular contacts with constraint networks. Bioinformatics 22(17):2074\u20132080","journal-title":"Bioinformatics"},{"issue":"1\u20132","key":"14_CR39","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/s10601-007-9033-9","volume":"13","author":"M Zytnicki","year":"2008","unstructured":"Zytnicki M, Gaspin C, Schiex T (2008) Darn! a weighted constraint solver for RNA motif localization. Constraints 13(1\u20132):91\u2013109","journal-title":"Constraints"},{"issue":"8","key":"14_CR40","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: declarative programming language to describe nucleic acids secondary structures and to scan sequence databases. Nucleic Acids Res 24(8):1395\u20131404","journal-title":"Nucleic Acids Res"},{"key":"14_CR41","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1186\/1471-2105-8-130","volume":"8","author":"AO Harmanci","year":"2007","unstructured":"Harmanci AO, Sharma G, Mathews DH (2007) Efficient pairwise RNA structure prediction using probabilistic alignment constraints in dynalign. BMC Bioinformatics 8:130","journal-title":"BMC Bioinformatics"},{"key":"14_CR42","doi-asserted-by":"crossref","first-page":"400","DOI":"10.1186\/1471-2105-7-400","volume":"7","author":"RD Dowell","year":"2006","unstructured":"Dowell RD, Eddy SR (2006) Efficient pairwise RNA structure prediction and alignment using sequence alignment constraints. BMC Bioinformatics 7:400","journal-title":"BMC Bioinformatics"},{"key":"14_CR43","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"},{"issue":"2","key":"14_CR44","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/j.sbi.2007.03.001","volume":"17","author":"BA Shapiro","year":"2007","unstructured":"Shapiro BA, Yingling YG, Kasprzak W, Bindewald E (2007) Bridging the gap in RNA structure prediction. Curr Opin Struct Biol 17(2):157\u2013165-2pc]Reference [44] is not cited in text. Please provide appropriate text citation or remove from list.","journal-title":"Curr Opin Struct Biol"},{"key":"14_CR45","doi-asserted-by":"crossref","first-page":"1049","DOI":"10.1006\/jmbi.1993.1104","volume":"229","author":"D Gautheret","year":"1993","unstructured":"Gautheret D, Major F, Cedergren R (1993) Modeling the threedimensional structure of RNA using discrete nucleotide conformational sets. J Mol Biol 229:1049\u20131064","journal-title":"J Mol Biol"},{"issue":"2","key":"14_CR46","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/j.sbi.2007.03.001","volume":"17","author":"BA Shapiro","year":"2007","unstructured":"Shapiro BA, Yingling YG, Kasprzak W, Bindewald E (2007) Bridging the gap in RNA structure prediction. Curr Opin Struct Biol 17(2):157\u2013165","journal-title":"Curr Opin Struct Biol"},{"key":"14_CR47","doi-asserted-by":"crossref","first-page":"5785","DOI":"10.1093\/nar\/20.21.5785","volume":"20","author":"RR Gutell","year":"1992","unstructured":"Gutell RR, Power A, Hertz GZ, Putz EJ, Stormo GD (1992) Identifying constraints on the higher-order structure of RNA: continued development and application of comparative sequence analysis methods. Nucleic Acids Res 20:5785\u20135795","journal-title":"Nucleic Acids Res"},{"issue":"3","key":"14_CR48","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/j.sbi.2006.05.009","volume":"16","author":"NB Leontis","year":"2006","unstructured":"Leontis NB, Lescoute A, Westhof E (2006) The building blocks and motifs of RNA architecture. Curr Opin Struct Biol 16(3):279\u2013287","journal-title":"Curr Opin Struct Biol"},{"issue":"2","key":"14_CR49","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0959-440X(00)00063-4","volume":"10","author":"T Lazaridis","year":"2000","unstructured":"Lazaridis T, Karplus M (2000) Effective energy functions for protein structure prediction. Curr Opin Struct Biol 10(2):139\u2013145","journal-title":"Curr Opin Struct Biol"},{"key":"14_CR50","doi-asserted-by":"crossref","first-page":"1903","DOI":"10.1126\/science.290.5498.1903","volume":"290","author":"MR Shirts","year":"2000","unstructured":"Shirts MR, Pande VS (2000) Screen savers of the world, unite! Science 290:1903\u20131904","journal-title":"Science"},{"key":"14_CR51","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1002\/pro.5560040401","volume":"4","author":"KA Dill","year":"1995","unstructured":"Dill KA, Bromberg S, Yue K, Fiebig KM, Yee DP, Thomas PD, Chan HS (1995) Principles of protein folding \u2013 a perspective of simple exact models. Protein Sci 4:561\u2013602","journal-title":"Protein Sci"},{"key":"14_CR52","doi-asserted-by":"crossref","first-page":"3986","DOI":"10.1021\/ma00200a030","volume":"22","author":"KF Lau","year":"1989","unstructured":"Lau KF, Dill KA (1989) A lattice statistical mechanics model of the conformational and sequence spaces of proteins. Macromolecules 22:3986\u20133997","journal-title":"Macromolecules"},{"issue":"3","key":"14_CR53","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1089\/cmb.1998.5.423","volume":"5","author":"P Crescenzi","year":"1998","unstructured":"Crescenzi P, Goldman D, Papadimitriou C, Piccolboni A, Yannakakis M ( 1998) On the complexity of protein folding. J Comput Biol 5(3):423\u2013466","journal-title":"J Comput Biol"},{"issue":"3","key":"14_CR54","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1089\/cmb.1998.5.27","volume":"5","author":"B Berger","year":"1998","unstructured":"Berger B, Leighton T (1998) Protein folding in the hydrophobic-hydrophilic (HP) model is NP-complete. J Comput Biol 5(3):27\u201340","journal-title":"J Comput Biol"},{"issue":"2","key":"14_CR55","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1002\/pro.5560050209","volume":"5","author":"K Yue","year":"1996","unstructured":"Yue K, Dill KA (1996) Folding proteins with a simple energy function and extensive conformational search. Protein Sci 5(2):254\u2013261","journal-title":"Protein Sci"},{"key":"14_CR56","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1006\/jmbi.1995.0511","volume":"252","author":"VI Abkevitch","year":"1995","unstructured":"Abkevitch VI, Gutin AM, Shakhnovich EI (1995) Impact of local and non-local interactions oin thermodynamics and kinetics of protein folding. J Mol Biol 252:460\u2013471","journal-title":"J Mol Biol"},{"key":"14_CR57","doi-asserted-by":"crossref","first-page":"988","DOI":"10.1006\/jmbi.1996.0375","volume":"259","author":"R Unger","year":"1996","unstructured":"Unger R, Moult J (1996) Local interactions dominate folding in a simple protein model. J Mol Biol 259:988\u2013994","journal-title":"J Mol Biol"},{"key":"14_CR58","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1006\/jmbi.1996.0243","volume":"258","author":"DA Hinds","year":"1996","unstructured":"Hinds DA, Levitt M (1996) From structure to sequence and back again. J Mol Biol 258:201\u2013209","journal-title":"J Mol Biol"},{"key":"14_CR59","doi-asserted-by":"crossref","unstructured":"Bornberg-Bauer E (1997) Chain growth algorithms for HP-type lattice proteins. In: Proceedings of RECOMB97. 1st International conference on Research in computational molecular biology, pp 47\u201355","DOI":"10.1145\/267521.267528"},{"key":"14_CR60","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-49481-2_7","volume-title":"Principles and Practice of Constraint Programming \u2014 CP98","author":"Rolf Backofen","year":"1998","unstructured":"Backofen R (1998) Constraint techniques for solving the protein structure prediction problem. In: Proceedings of CP98. Lecture notes in computer science, vol 1520, pp 72\u201386"},{"issue":"3","key":"14_CR61","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1023\/A:1020533821509","volume":"7","author":"R Backofen","year":"2002","unstructured":"Backofen R, Will S (2002) Excluding symmetries in constraint-based search. Constraints 7(3):333\u2013349","journal-title":"Constraints"},{"issue":"3","key":"14_CR62","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1093\/bioinformatics\/15.3.234","volume":"15","author":"R Backofen","year":"1999","unstructured":"Backofen R, Will S, Bornberg-Bauer E (1999) Application of constraint programming techniques for structure prediction of lattice proteins with extended alphabets. Bioinformatics 15(3):234\u2013242","journal-title":"Bioinformatics"},{"key":"14_CR63","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1016\/S0032-3861(01)00427-X","volume":"43","author":"Z Bagci","year":"2002","unstructured":"Bagci Z, Jernigan RL, Bahar I (2002) Residue coordination in proteins conforms to the closest packing of spheres. Polymer 43:451\u2013459","journal-title":"Polymer"},{"key":"14_CR64","first-page":"1267","volume":"281","author":"B Cipra","year":"1998","unstructured":"Cipra B (1998) Packing challenge mastered at last. Science 281:1267","journal-title":"Packing challenge mastered at last. Science"},{"key":"14_CR65","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1006\/jmbi.1995.0311","volume":"249","author":"BH Park","year":"1995","unstructured":"Park BH, Levitt M (1995) The complexity and accuracy of discrete state models of protein structure. J Mol Biol 249:493\u2013507","journal-title":"J Mol Biol"},{"key":"14_CR66","doi-asserted-by":"crossref","unstructured":"Cooperativity in protein-folding kinetics. Proc Natl Acad Sci USA 90:1942\u20131946 (1993)","DOI":"10.1073\/pnas.90.5.1942"},{"key":"14_CR67","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1006\/jmbi.1993.1258","volume":"231","author":"R Unger","year":"1993","unstructured":"Unger R, Moult J (1993) Genetic algorithms for protein folding simulations. J Mol Biol 231:75\u201381","journal-title":"J Mol Biol"},{"issue":"2","key":"14_CR68","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1089\/cmb.1997.4.275","volume":"4","author":"R Agarwala","year":"1997","unstructured":"Agarwala R, Batzoglou S, Dancik V, Decatur SE, Farach M, Hannenhalli S, Muthukrishnan S, Skiena S (1997) Local rules for protein folding on a triangular lattice and generalized hydrophobicity in the HP-model. J Comput Biol 4(2):275\u2013296","journal-title":"J Comput Biol"},{"issue":"1","key":"14_CR69","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10601-006-6848-8","volume":"11","author":"R Backofen","year":"2006","unstructured":"Backofen R, Will S (2006) A constraint-based approach to fast and exact structure prediction in three-dimensional protein models. Constraints 11(1):5\u201330","journal-title":"Constraints"},{"key":"14_CR70","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1007\/3-540-45578-7_34","volume-title":"Principles and Practice of Constraint Programming \u2014 CP 2001","author":"Rolf Backofen","year":"2001","unstructured":"Backofen R, Will S (2001) Fast, constraint-based threading of HP-sequences to hydrophobic cores. In: Proceedings of CP01. Lecture notes in computer science, vol 2239, pp 494\u2013508"},{"key":"14_CR71","unstructured":"Cebrian M, Dotu I, Van Hentenryck P, Clote P (2008) Protein structure prediction on the face centered cubic lattice by local search. In: Proceedings of AAAI08, pp 241\u2013245"},{"key":"14_CR72","doi-asserted-by":"crossref","unstructured":"Dot I, Cebrin M, Van Hentenryck P, Clote P (2008) Protein structure prediction with large neighborhood constraint programming search. In: Proceedings of CP08. Lecture notes in computer science, vol 5202, pp 82\u201396","DOI":"10.1007\/978-3-540-85958-1_6"},{"key":"14_CR73","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1186\/1471-2105-5-186","volume":"5","author":"A Dal Pal","year":"2004","unstructured":"Dal Pal A, Dovier A, Fogolari F (2004) Constraint logic programming approach to protein structure prediction. BMC Bioinformatics 5:186","journal-title":"BMC Bioinformatics"},{"issue":"13","key":"14_CR74","doi-asserted-by":"crossref","first-page":"1405","DOI":"10.1002\/spe.810","volume":"37","author":"A Dal Pal","year":"2007","unstructured":"Dal Pal A, Dovier A, Pontelli E (2007) A constraint solver for discrete lattices, its paralelization and application to protein structure prediction. Software Pract Ex 37(13):1405\u20131449","journal-title":"Software Pract Ex"},{"key":"14_CR75","unstructured":"Cipriano R, Pal AD, Dovier A (2008) A hybrid approach mixing local search and constraint programming applied to the protein structure prediction problem. In: Proceedings of WCB08, Paris, May 2008"},{"key":"14_CR76","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1186\/1471-2105-9-40","volume":"9","author":"Y Zhang","year":"2008","unstructured":"Zhang Y (2008) I-TASSER server for protein 3D structure prediction. BMC Bioinformatics 9:40","journal-title":"BMC Bioinformatics"},{"key":"14_CR77","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1016\/j.sbi.2006.03.004","volume":"16","author":"D Fischer","year":"2006","unstructured":"Fischer D (2006) Servers for protein structure prediction. Curr Opin Struct Biol 16:178\u2013182","journal-title":"Curr Opin Struct Biol"},{"issue":"S5","key":"14_CR78","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1002\/prot.1170","volume":"45","author":"R Bonneau","year":"2001","unstructured":"Bonneau R, Tsai J, Ruczinski I, Chivian D, Rohl C, Strauss CE, Baker D (2001) Rosetta in CASP4: progress in ab initio protein structure prediction. Proteins 45(S5)119\u2013126","journal-title":"Proteins"},{"key":"14_CR79","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/j.sbi.2005.05.011","volume":"15","author":"J Moult","year":"2005","unstructured":"Moult J (2005) A decade of CASP: progress, bottlenecks and prognosis in protein structure prediction. Curr Opin Struct Biol 15:285\u2013289","journal-title":"Curr Opin Struct Biol"},{"key":"14_CR80","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1002\/prot.1172","volume":"5","author":"J Skolnick","year":"2001","unstructured":"Skolnick J, Kolinski A, Kihara D, Betancourt M, Rotkiewicz P, Boniecki M (2001) Ab initio protein structure prediction via a combination of threading, lattice folding, clustering, and structure refinement. PROTEINS Suppl 5:149\u2013156","journal-title":"PROTEINS Suppl"},{"key":"14_CR81","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1006\/jmbi.1997.1284","volume":"273","author":"P Gntert","year":"1997","unstructured":"Gntert P, Mumenthaler C, Wthrich K (1997) Torsion angle dynamics for NMR structure calculation with the new program DYANA. J Mol Biol 273:283\u2013298","journal-title":"J Mol Biol"},{"key":"14_CR82","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1023\/A:1020577603762","volume":"7","author":"L Krippahl","year":"2002","unstructured":"Krippahl L, Barahona P (2002) PSICO: solving protein structures with constraint programming and optimisation. Constraints 7:317\u2013331","journal-title":"Constraints"},{"key":"#cr-split#-14_CR83.1","doi-asserted-by":"crossref","unstructured":"Krippahl L, Barahona P (2003) Propagating N-ary rigid-body constraints. In: Francesca Rossi","DOI":"10.1007\/978-3-540-45193-8_31"},{"key":"#cr-split#-14_CR83.2","unstructured":"(ed) CP'2003: principles and practice of constraint programming, October 2003. Lecture notes in computer science, vol 2833. Springer, pp 452-465"},{"issue":"6","key":"14_CR84","doi-asserted-by":"crossref","first-page":"2195","DOI":"10.1073\/pnas.89.6.2195","volume":"89","author":"E Katchalski-Katzir","year":"1992","unstructured":"Katchalski-Katzir E, Shariv I, Eisenstein M, Friesem AA, Aflalo C, Vakser IA (1992) Molecular surface recognition: determination of geometric fit between proteins and their ligands by correlation techniques. Proc Natl Acad Sci USA 89(6):2195\u20132199","journal-title":"Proc Natl Acad Sci USA"},{"key":"14_CR85","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/11564751_29","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"Ludwig Krippahl","year":"2005","unstructured":"Krippahl L, Barahona P (2005) Applying constraint programming to rigid body protein docking. In: van Beek P (ed) CP\u20192005: principles and practice of constraint programming. Lecture notes in computer science, vol 3709. Springer, Berlin, pp 373\u2013387"},{"issue":"1","key":"14_CR86","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1002\/prot.10387","volume":"52","author":"L Krippahl","year":"2003","unstructured":"Krippahl L, Moura JJ, Palma PN (2003) Modeling protein complexes with bigger. Proteins 52(1):19\u201323","journal-title":"Proteins"},{"key":"14_CR87","doi-asserted-by":"crossref","first-page":"1731","DOI":"10.1021\/ja026939x","volume":"125","author":"C Dominguez","year":"2003","unstructured":"Dominguez C, Boelens R, Bonvin AMJJ (2003) HADDOCK: a protein\u2013protein docking approach based on biochemical and\/or biophysical information. J Am Chem Soc 125:1731\u20131737","journal-title":"J Am Chem Soc"},{"key":"14_CR88","doi-asserted-by":"crossref","first-page":"726","DOI":"10.1002\/prot.21723","volume":"69","author":"SJ Vries de","year":"2007","unstructured":"de Vries SJ, van Dijk ADJ, Krzeminski M, van Dijk M, Thureau A, Hsu V, Wassenaar T, Bonvin AMJJ (2007) HADDOCK versus HADDOCK: New features and performance of HADDOCK2.0 on the CAPRI targets. Proteins 69:726\u2013733","journal-title":"Proteins"},{"volume-title":"Foundations of system biology","year":"2001","key":"14_CR89","unstructured":"Kitano H (ed) (2001) Foundations of system biology. MIT Press, Camdridge"},{"volume-title":"Computational modeling of genetic and biochemical networks","year":"2001","key":"14_CR90","unstructured":"Bower JM, Bolouri H (eds) (2001) Computational modeling of genetic and biochemical networks. MIT Press, Camdridge"},{"key":"14_CR91","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195079517.001.0001","volume-title":"The origins of order","author":"SA Kauffman","year":"1993","unstructured":"Kauffman SA (1993) The origins of order. Oxford University Press, New York"},{"key":"14_CR92","first-page":"77","volume":"3","author":"D Thieffry","year":"1998","unstructured":"Thieffry D, Thomas R (1998) Qualitative analysis of gene networks. Pac Symp Biocomput 3:77\u201388","journal-title":"Pac Symp Biocomput"},{"key":"14_CR93","first-page":"328","volume":"1","author":"VN Reddy","year":"1993","unstructured":"Reddy VN, Mavrovouniotis ML, Liebman ML (1993) Petri net representation in metabolic pathways. Proc Int Conf Intell Syst Mol Biol 1:328\u2013336","journal-title":"Proc Int Conf Intell Syst Mol Biol"},{"key":"14_CR94","first-page":"459","volume":"6","author":"A Regev","year":"2001","unstructured":"Regev A, Silverman W, Shapiro E (2001) Representation and simulation of bio-chemical processes using the pcalculus process algebra. Pac Symp Biocomput 6:459\u2013470","journal-title":"Pac Symp Biocomput"},{"key":"14_CR95","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/11599128_10","volume":"3737","author":"L Cardelli","year":"2005","unstructured":"Cardelli L (2005) Abstract machines of systems biology. Trans Comput Syst Biol 3737: 145\u2013168","journal-title":"Trans Comput Syst Biol"},{"issue":"14","key":"14_CR96","first-page":"1805","volume":"22","author":"L Calzonne","year":"2006","unstructured":"Calzonne L, Fages F, Soliman S (2006) BIOCHAM. An environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14):1805\u20131807","journal-title":"An environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics"},{"key":"14_CR97","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/978-3-540-45193-8_18","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"Jorge Cruz","year":"2003","unstructured":"Cruz J, Barahona P (2003) Constraint satisfaction differential problems. In: Proceedings of CP03. Lecture notes in computer science, vol 2833, pp 259\u2013273"},{"key":"14_CR98","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.artmed.2004.07.013","volume":"34","author":"J Cruz","year":"2005","unstructured":"Cruz J, Barahona P (2005) Constraint reasoning in deep biomedical models. Artif Intell Med 34:77\u201388","journal-title":"Artif Intell Med"},{"key":"14_CR99","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/3-540-45619-8_7","volume-title":"Logic Programming","author":"Alexander Bockmayr","year":"2002","unstructured":"Bockmayr A, Courtois A (2002) Using hybrid concurrent constraint programming to model dynamic biological systems. In: ICLP02. Lecture notes in computer science, vol 2401, pp 85\u201399"},{"key":"14_CR100","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/11564751_18","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"Gregoire Dooms","year":"2005","unstructured":"Dooms G, Deville Y, Dupont P (2005) CP (Graph): introducing a graph computation domain in constraint programming. In: Proceedings of CP05. Lecture notes in computer science, vol 3709, pp 211\u2013225"},{"key":"14_CR101","volume-title":"(2008) Detecting inconsistencies in large influence networks with answer set programming","author":"M Gebser","year":"2008","unstructured":"Gebser M, Schaub T, Thiele S, Usadel B, Veber P (2008) Detecting inconsistencies in large influence networks with answer set programming. In: International conference on logic programming, 2008"},{"issue":"1\u20132","key":"14_CR102","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10601-007-9031-y","volume":"13","author":"S Dworschak","year":"2008","unstructured":"Dworschak S, Grell S, Nikiforova VJ, Schaub T, Selbig J (2008) Modeling biological networks by action languages via answer set programming. Constraints 13(1\u20132):21\u201365","journal-title":"Constraints"},{"key":"14_CR103","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1093\/nar\/28.1.27","volume":"28","author":"M Kanehisa","year":"2000","unstructured":"Kanehisa M, Goto S (2000) KEGG: Kyoto encyclopedia of genes and genomes. Nucleic Acids Res 28:27\u201330","journal-title":"Nucleic Acids Res"}],"container-title":["Springer Optimization and Its Applications","Hybrid Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-1644-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T00:20:37Z","timestamp":1711930837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4419-1644-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,23]]},"ISBN":["9781441916433","9781441916440"],"references-count":104,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-1644-0_14","relation":{},"ISSN":["1931-6828","1931-6836"],"issn-type":[{"type":"print","value":"1931-6828"},{"type":"electronic","value":"1931-6836"}],"subject":[],"published":{"date-parts":[[2010,10,23]]},"assertion":[{"value":"23 October 2010","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}