{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:57:58Z","timestamp":1742932678453,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540859574"},{"type":"electronic","value":"9783540859581"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85958-1_6","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T03:26:13Z","timestamp":1221881173000},"page":"82-96","source":"Crossref","is-referenced-by-count":7,"title":["Protein Structure Prediction with Large Neighborhood Constraint Programming Search"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Dotu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Cebri\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Van Hentenryck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Clote","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1002\/jcc.540150503","volume":"15","author":"R.A. Abagyan","year":"1994","unstructured":"Abagyan, R.A., Totrov, M.M., Kuznetsov, D.A.: ICM: a new method for structure modeling and design: Applications to docking and structure prediction from the distorted native conformation. J. Comp. Chem.\u00a015, 488\u2013506 (1994)","journal-title":"J. Comp. Chem."},{"doi-asserted-by":"crossref","unstructured":"Anfinsen, C.B.: Principles that govern the folding of protein chains. Science\u00a0181 (1973)","key":"6_CR2","DOI":"10.1126\/science.181.4096.223"},{"doi-asserted-by":"crossref","unstructured":"Arnold, K., Bordoli, L., Kopp, J., Schwede, T.: The SWISS-MODEL workspace: a web-based environment for protein structure homology modelling. Bioinformatics\u00a022(2) (2006)","key":"6_CR3","DOI":"10.1093\/bioinformatics\/bti770"},{"issue":"2-3","key":"6_CR4","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1023\/A:1011485622743","volume":"6","author":"R. Backofen","year":"2001","unstructured":"Backofen, R.: The protein structure prediction problem: A constraint optimization approach using a new lower bound. Constraints\u00a06(2-3), 223\u2013255 (2001)","journal-title":"Constraints"},{"issue":"3","key":"6_CR5","doi-asserted-by":"publisher","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.: Application of constraint programming techniques for structure prediction of lattice proteins with extended alphabets. Bioinformatics\u00a015(3), 234\u2013242 (1999)","journal-title":"Bioinformatics"},{"unstructured":"Backofen, R., Will, S., Clote, P.: Algorithmic approach to quantifying the hydrophobic force contribution in protein folding. In: Pacific Symposium on Biocomputing, vol.\u00a05, pp. 92\u2013103 (2000)","key":"6_CR6"},{"unstructured":"Backofen, R.: Using constraint programming for lattice protein folding. In: Workshop on Constraints and Bioinformatics\/Biocomputing (1997)","key":"6_CR7"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/978-3-540-24599-5_5","volume-title":"Logic Programming","author":"R. Backofen","year":"2003","unstructured":"Backofen, R., Will, S.: A constraint-based approach to structure prediction for simplified protein models that outperforms other existing methods. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol.\u00a02916, pp. 49\u201371. Springer, Heidelberg (2003)"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1089\/cmb.1998.5.27","volume":"5","author":"B. Berger","year":"1998","unstructured":"Berger, B., Leighton, T.: Protein folding in the hydrophobic-hydrophilic (hp) model is NP-complete. Journal of Computational Biology\u00a05, 27\u201340 (1998)","journal-title":"Journal of Computational Biology"},{"issue":"Pt","key":"6_CR10","doi-asserted-by":"publisher","first-page":"899","DOI":"10.1107\/S0907444902003451","volume":"58","author":"H.M. Berman","year":"2002","unstructured":"Berman, H.M., Battistuz, T., Bhat, T.N., Bluhm, W.F., Bourne, P.E., Burkhardt, K., Feng, Z., Gilliland, G.L., Iype, L., Jain, S., Fagan, P., Marvin, J., Padilla, D., Ravichandran, V., Schneider, B., Thanki, N., Weissig, H., Westbrook, J.D., Zardecki, C.: The Protein Data Bank. Acta Crystallogr. D. Biol. Crystallogr.\u00a058(Pt), 899\u2013907 (2002)","journal-title":"Acta Crystallogr. D. Biol. Crystallogr."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/267521.267528","volume-title":"RECOMB","author":"E. Bornberg-Bauer","year":"1997","unstructured":"Bornberg-Bauer, E.: Chain growth algorithms for HP-type lattice proteins. In: RECOMB, pp. 47\u201355. ACM Press, New York (1997)"},{"issue":"5742","key":"6_CR12","doi-asserted-by":"publisher","first-page":"1868","DOI":"10.1126\/science.1113801","volume":"309","author":"P. Bradley","year":"2005","unstructured":"Bradley, P., Misura, K.M., Baker, D.: Toward high-resolution de novo structure prediction for small proteins. Science\u00a0309(5742), 1868\u20131871 (2005)","journal-title":"Science"},{"unstructured":"Cebrian, M., Dotu, I., Van Hentenryck, P., Clote, P.: Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search. In: AAAI 2008 (to appear, 2008)","key":"6_CR13"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1002\/jcc.540040211","volume":"4","author":"B.R. Brooks","year":"1983","unstructured":"Brooks, B.R., Bruccoleri, R.E., Olafson, B.D., States, D.J., Swaminathan, S., Karplus, M.: CHARMM: A program for macromolecular energy, minimization, and dynamics calculations. J. Comput. Chem.\u00a04, 187\u2013217 (1983)","journal-title":"J. Comput. Chem."},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"1267","DOI":"10.1126\/science.281.5381.1267","volume":"281","author":"B. Cipra","year":"1998","unstructured":"Cipra, B.: Packing challenge mastered at last. Science\u00a0281, 1267 (1998)","journal-title":"Science"},{"key":"6_CR16","volume-title":"Sphere Packing, Lattices and Groups","author":"J.H. Conway","year":"1998","unstructured":"Conway, J.H., Sloane, N.J.A.: Sphere Packing, Lattices and Groups. Springer, Heidelberg (1998)"},{"issue":"3","key":"6_CR17","doi-asserted-by":"crossref","first-page":"523","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.: On the complexity of protein folding. J. Comp. Biol.\u00a05(3), 523\u2013466 (1998)","journal-title":"J. Comp. Biol."},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1186\/1471-2105-5-186","volume":"5","author":"A. Dal Palu","year":"2004","unstructured":"Dal Palu, A., Dovier, A., Fogolari, F.: Constraint Logic Programming approach to protein structure prediction. BMC. Bioinformatics\u00a05, 186 (2004)","journal-title":"BMC. Bioinformatics"},{"issue":"15","key":"6_CR19","doi-asserted-by":"publisher","first-page":"1901","DOI":"10.1093\/bioinformatics\/btm262","volume":"23","author":"J.A. Dalton","year":"2007","unstructured":"Dalton, J.A., Jackson, R.M.: An evaluation of automated homology modelling methods at low target template sequence similarity. Bioinformatics\u00a023(15), 1901\u20131908 (2007)","journal-title":"Bioinformatics"},{"issue":"16","key":"6_CR20","doi-asserted-by":"publisher","first-page":"1999","DOI":"10.1002\/jcc.10349","volume":"24","author":"Y. Duan","year":"2003","unstructured":"Duan, Y., et al.: A point-charge force field for molecular mechanics simulations of proteins based on condensed-phase quantum mechanical calculations. J. Comput. Chem.\u00a024(16), 1999\u20132012 (2003)","journal-title":"J. Comput. Chem."},{"issue":"2","key":"6_CR21","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1002\/bit.21411","volume":"97","author":"C.A. Floudas","year":"2007","unstructured":"Floudas, C.A.: Computational methods in protein structure prediction. Biotechnol. Bioeng.\u00a097(2), 207\u2013213 (2007)","journal-title":"Biotechnol. Bioeng."},{"issue":"2","key":"6_CR22","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1073\/pnas.75.2.559","volume":"75","author":"N. Go","year":"1978","unstructured":"Go, N., Taketomi, H.: Respective roles of short- and long-range interactions in protein folding. Proc. Natl. Acad. Sci. U.S.A.\u00a075(2), 559\u2013563 (1978)","journal-title":"Proc. Natl. Acad. Sci. U.S.A."},{"doi-asserted-by":"crossref","unstructured":"Go, N., Taketomi, H.: Studies on protein folding, unfolding and fluctuations by computer simulation. III. Effect of short-range interactions. Int. J. Pept. Protein. Res.\u00a013(3) (1979)","key":"6_CR23","DOI":"10.1111\/j.1399-3011.1979.tb01875.x"},{"issue":"21","key":"6_CR24","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1098\/rsif.2007.1278","volume":"5","author":"G. Helles","year":"2008","unstructured":"Helles, G.: A comparative study of the reported performance of ab initio protein structure prediction algorithms. J. R. Soc. Interface\u00a05(21), 387\u2013396 (2008)","journal-title":"J. R. Soc. Interface"},{"issue":"1","key":"6_CR25","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0022-2836(91)90883-8","volume":"218","author":"L. Holm","year":"1991","unstructured":"Holm, L., Sander, C.: Database algorithm for generating protein backbone and side-chain co-ordinates from a C alpha trace application to model building and detection of co-ordinate errors. J. Mol. Biol.\u00a0218(1), 183\u2013194 (1991)","journal-title":"J. Mol. Biol."},{"issue":"14","key":"6_CR26","doi-asserted-by":"publisher","first-page":"3982","DOI":"10.1093\/nar\/gkg460","volume":"31","author":"B. John","year":"2003","unstructured":"John, B., Sali, A.: Comparative protein structure modeling by iterative alignment, model building and model assessment. Nucleic. Acids. Res.\u00a031(14), 3982\u20133992 (2003)","journal-title":"Nucleic. Acids. Res."},{"issue":"2","key":"6_CR27","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1002\/jcc.10167","volume":"24","author":"J.L. Klepeis","year":"2002","unstructured":"Klepeis, J.L., Floudas, C.A.: Prediction of \u03b2-sheet topology and disulfide bridges in polypeptides. Journal of Computational Chemistry\u00a024(2), 191\u2013208 (2002)","journal-title":"Journal of Computational Chemistry"},{"issue":"1","key":"6_CR28","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0022-2836(82)90515-0","volume":"157","author":"J. Kyte","year":"1982","unstructured":"Kyte, J., Doolittle, R.F.: A simple method for displaying the hydropathic character of a protein. J. Mol. Biol.\u00a0157(1), 105\u2013132 (1982)","journal-title":"J. Mol. Biol."},{"issue":"5145","key":"6_CR29","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1126\/science.8278812","volume":"263","author":"P.Y. Lam","year":"1994","unstructured":"Lam, P.Y., Jadhav, P.K., Eyermann, C.J., Hodge, C.N., Ru, Y., Bacheler, L.T., Meek, J.L., Otto, M.J., Rayner, M.M., Wong, Y.N., et al.: Rational design of potent, bioavailable, nonpeptide cyclic ureas as HIV protease inhibitors. Science\u00a0263(5145), 380\u2013384 (1994)","journal-title":"Science"},{"issue":"9","key":"6_CR30","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1093\/protein\/7.9.1059","volume":"7","author":"R.H. Lathrop","year":"1994","unstructured":"Lathrop, R.H.: The protein threading problem with sequence amino acid interaction preferences is NP-complete. Protein. Eng.\u00a07(9), 1059\u20131068 (1994)","journal-title":"Protein. Eng."},{"issue":"4","key":"6_CR31","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1006\/jmbi.1996.0053","volume":"255","author":"R.H. Lathrop","year":"1996","unstructured":"Lathrop, R.H., Smith, T.F.: Global optimum protein threading with gapped alignment and empirical pair score functions. J. Mol. Biol.\u00a0255(4), 641\u2013665 (1996)","journal-title":"J. Mol. Biol."},{"doi-asserted-by":"crossref","unstructured":"Lau, K.F., Dill, K.A.: A lattice statistical mechanics model of the conformational and sequence spaces of proteins. Journal of the American Chemical Society\u00a022 (1989)","key":"6_CR32","DOI":"10.1021\/ma00200a030"},{"key":"6_CR33","series-title":"Probability and its Applications","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1007\/978-1-4612-4132-4","volume-title":"The Self-Avoiding Walk","author":"N. Madras","year":"1996","unstructured":"Madras, N., Slade, G.: The Self-Avoiding Walk. Probability and its Applications, 448 p. Birkh\u00e4user, Boston (1996)"},{"key":"6_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-540-74970-7_37","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"L. Michel","year":"2007","unstructured":"Michel, L., See, A., Van Hentenryck, P.: Parallelizing Constraint Programs Transparently. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741, pp. 514\u2013528. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Miyazawa, S., Jernigan, R.L.: Self-consistent estimation of inter-residue protein contact energies based on an equilibrium mixture approximation of residues. Proteins\u00a034(1) (1999)","key":"6_CR35","DOI":"10.1002\/(SICI)1097-0134(19990101)34:1<49::AID-PROT5>3.3.CO;2-C"},{"key":"6_CR36","volume-title":"Computational Complexity","author":"C. Papadimitriou","year":"1994","unstructured":"Papadimitriou, C.: Computational Complexity. Addison Wesley, Reading (1994)"},{"issue":"1","key":"6_CR37","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1002\/prot.20380","volume":"59","author":"P. Pokarowski","year":"2005","unstructured":"Pokarowski, P., Kloczkowski, A., Jernigan, R.L., Kothari, N.S., Pokarowska, M., Kolinski, A.: Inferring ideal amino acid interaction forms from statistical protein contact potentials. Proteins\u00a059(1), 49\u201357 (2005)","journal-title":"Proteins"},{"key":"6_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49481-2_30","volume-title":"Principles and Practice of Constraint Programming - CP98","author":"P. Shaw","year":"1998","unstructured":"Shaw, P.: Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems. In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol.\u00a01520. Springer, Heidelberg (1998)"},{"doi-asserted-by":"crossref","unstructured":"Siew, N., Fischer, D.: Convergent evolution of protein structure prediction and computer chess tournaments: CASP, Kasparov, and CAFASP. IBM Systems Journal\u00a040(2) (2001)","key":"6_CR39","DOI":"10.1147\/sj.402.0410"},{"key":"6_CR40","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1016\/S0022-2836(05)80269-4","volume":"213","author":"M. Sippl","year":"1990","unstructured":"Sippl, M.: Calculation of conformation ensembles from potentials of mean force. J. Mol. Biol.\u00a0213, 859\u2013883 (1990)","journal-title":"J. Mol. Biol."},{"issue":"4984","key":"6_CR41","doi-asserted-by":"publisher","first-page":"1121","DOI":"10.1126\/science.250.4984.1121","volume":"250","author":"J. Skolnick","year":"1990","unstructured":"Skolnick, J., Kolinski, A.: Simulations of the Folding of a Globular Protein. Science\u00a0250(4984), 1121\u20131125 (1990)","journal-title":"Science"},{"doi-asserted-by":"crossref","unstructured":"Taketomi, H., Kano, F., Go, N.: The effect of amino acid substitution on protein-folding and -unfolding transition studied by computer simulation. Biopolymers\u00a027(4) (1988)","key":"6_CR42","DOI":"10.1002\/bip.360270402"},{"key":"6_CR43","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1006\/jmbi.1993.1258","volume":"231","author":"R. Unger","year":"1993","unstructured":"Unger, R., Moult, J.: Genetic algorithms for protein folding simulations. Journal of Molecular Biology\u00a0231, 75\u201381 (1993)","journal-title":"Journal of Molecular Biology"},{"key":"6_CR44","volume-title":"Constraint-Based Local Search","author":"P. Van Hentenryck","year":"2005","unstructured":"Van Hentenryck, P., Michel, L.: Constraint-Based Local Search. The MIT Press, Cambridge (2005)"},{"unstructured":"Will, S.: Constraint-based hydrophobic core construction for protein structure prediction in the face-centered-cubic lattice. In: Pacific Symposium on Biocomputing (2002)","key":"6_CR45"},{"unstructured":"Will, S.: Exact, Constraint-Based Structure Prediction in Simple Protein Models. In: PhD thesis, Friedrich-Schiller-Universit\u00e4t Jena (April 2005)","key":"6_CR46"},{"key":"6_CR47","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1186\/1741-7007-5-17","volume":"5","author":"S. Wu","year":"2007","unstructured":"Wu, S., Skolnick, J., Zhang, Y.: Ab initio modeling of small proteins by iterative TASSER simulations. BMC. Biol.\u00a05, 17 (2007)","journal-title":"BMC. Biol."},{"issue":"2","key":"6_CR48","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1002\/pro.5560050209","volume":"5","author":"K. Yue","year":"1996","unstructured":"Yue, K., Dill, K.A.: Folding proteins with a simple energy function and extensive conformational searching. Protein. Sci.\u00a05(2), 254\u2013261 (1996)","journal-title":"Protein. Sci."},{"key":"6_CR49","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1073\/pnas.92.1.325","volume":"92","author":"K. Yue","year":"1995","unstructured":"Yue, K., Fiebig, K.M., Thomas, P.D., Chan, H.S., Shakhinovich, E.I., Dill, K.A.: A test of lattice protein folding algorithms. National Academy of Science\u00a092, 325\u2013329 (1995)","journal-title":"National Academy of Science"},{"doi-asserted-by":"crossref","unstructured":"Zaki, M.J.: Protein Structure Prediction, 2nd edn. Humana Press (2007)","key":"6_CR50","DOI":"10.1007\/978-1-59745-574-9"},{"doi-asserted-by":"crossref","unstructured":"Zhang, Y.: I-TASSER server for protein 3D structure prediction. Bioinformatics (2008)","key":"6_CR51","DOI":"10.1186\/1471-2105-9-40"},{"issue":"4","key":"6_CR52","doi-asserted-by":"publisher","first-page":"1029","DOI":"10.1073\/pnas.0407152101","volume":"102","author":"Y. Zhang","year":"2005","unstructured":"Zhang, Y., Skolnick, J.: The protein structure prediction problem could be solved using the current PDB library. Proc. Natl. Acad. Sci. U.S.A.\u00a0102(4), 1029\u20131034 (2005)","journal-title":"Proc. Natl. Acad. Sci. U.S.A."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85958-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,9]],"date-time":"2024-05-09T07:03:29Z","timestamp":1715238209000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-85958-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540859574","9783540859581"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85958-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}