{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T05:21:52Z","timestamp":1740374512331,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206422"},{"type":"electronic","value":"9783540245995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24599-5_5","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T08:53:55Z","timestamp":1280393635000},"page":"49-71","source":"Crossref","is-referenced-by-count":9,"title":["A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing Methods"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Backofen","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Will","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1006\/jmbi.1995.0511","volume":"252","author":"V.I. Abkevich","year":"1995","unstructured":"Abkevich, V.I., Gutin, A.M., Shakhnovich, E.I.: Impact of local and nonlocal interactions on thermodynamics and kinetics of protein folding. Journal of Molecular Biology\u00a0252, 460\u2013471 (1995)","journal-title":"Journal of Molecular Biology"},{"key":"5_CR2","unstructured":"Abkevich, V.I., Gutin, A.M., Shakhnovich, E.I.: Computer simulations of prebi-otic evolution. In: Altman, R.B., Dunker, A.K., Hunter, L., Klein, T.E. (eds.) PSB 1997, vol.\u00a01997, pp. 27\u201338 (1997)"},{"issue":"3","key":"5_CR3","doi-asserted-by":"publisher","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, S.E., Hannenhalli, S., Farach, M., Muthukrishnan, S., Skiena, S.: Local rules for protein folding on a triangular lattice and generalized hydrophobicity in the hp model. Journal of Computational Biology\u00a04(3), 275\u2013296 (1997)","journal-title":"Journal of Computational Biology"},{"issue":"2","key":"5_CR4","doi-asserted-by":"publisher","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, S.E., Farach, M., Hannenhalli, S., Muthukrishnan, S., Skiena, S.: Local rules for protein folding on a triangular lattice and generalized hydrophobicity in the HP-model. Journal of Computational Biology\u00a04(2), 275\u2013296 (1997)","journal-title":"Journal of Computational Biology"},{"key":"5_CR5","unstructured":"Backofen, R.: Using constraint programming for lattice protein folding. In: Altman, R.B., Dunker, A.K., Hunter, L., Klein, T.E. (eds.) Pacific Symposium on Biocomputing (PSB 1998), vol.\u00a03, pp. 387\u2013398 (1998)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Backofen, R.: Optimization Techniques for the Protein Structure Prediction Problem. Habilitationsschrift, University of Munich (1999)","DOI":"10.1007\/3-540-49481-2_7"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/3-540-45123-4_24","volume-title":"Combinatorial Pattern Matching","author":"R. Backofen","year":"2000","unstructured":"Backofen, R.: An upper bound for number of contacts in the HP-model on the face-centered-cubic lattice (FCC). In: Giancarlo, R., Sankoff, D. (eds.) CPM 2000. LNCS, vol.\u00a01848, pp. 277\u2013292. Springer, Heidelberg (2000)"},{"key":"5_CR8","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 optimisation approach using a new lower bound. Constraints\u00a06, 223\u2013255 (2001)","journal-title":"Constraints"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-540-48085-3_6","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"R. Backofen","year":"1999","unstructured":"Backofen, R., Will, S.: Excluding symmetries in constraint-based search. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 73\u201387. Springer, Heidelberg (1999)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/3-540-45578-7_34","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"R. Backofen","year":"2001","unstructured":"Backofen, R., Will, S.: Fast, constraint-based threading of HP-sequences to hydrophobic cores. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, p. 494. Springer, Heidelberg (2001)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/3-540-48194-X_24","volume-title":"Combinatorial Pattern Matching","author":"R. Backofen","year":"2001","unstructured":"Backofen, R., Will, S.: Optimally compact finite sphere packings \u2014 hydrophobic cores in the FCC. In: Amir, A., Landau, G.M. (eds.) CPM 2001. LNCS, vol.\u00a02089, p. 257. Springer, Heidelberg (2001)"},{"issue":"3","key":"5_CR12","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1023\/A:1020533821509","volume":"7","author":"R. Backofen","year":"2002","unstructured":"Backofen, R., Will, S.: Excluding symmetries in constraint-based search. Constraints\u00a07(3), 333\u2013349 (2002)","journal-title":"Constraints"},{"issue":"3","key":"5_CR13","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. J. Bioinformatics\u00a015(3), 234\u2013242 (1999)","journal-title":"J. Bioinformatics"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Backofen, R., Will, S., Clote, P.: Algorithmic approach to quantifying the hydrophobic force contribution in protein folding. In: Altman, R.B., Dunker, A.K., Hunter, L., Klein, T.E. (eds.) Pacific Symposium on Biocomputing (PSB 2000), vol.\u00a05, pp. 92\u2013103 (2000)","DOI":"10.1142\/9789814447331_0010"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/S0032-3861(01)00427-X","volume":"43","author":"Z. Bagci","year":"2002","unstructured":"Bagci, Z., Jernigan, R.L., Bahar, I.: Residue coordination in proteins conforms to the closest packing of spheres. Polymer\u00a043, 451\u2013459 (2002)","journal-title":"Polymer"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"2269","DOI":"10.1063\/1.1432502","volume":"116","author":"Z. Bagci","year":"2002","unstructured":"Bagci, Z., Jernigan, R.L., Bahar, I.: Residue packing in proteins: Uniform distribution on a coarse-grained scale. J. Chem. Phys.\u00a0116, 2269\u20132276 (2002)","journal-title":"J. Chem. Phys."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Berger, B., Leighton, T.: Protein folding in the hydrophobic-hydrophilic (HP) modell is NP-complete. In: Proc. of the RECOMB 1998, pp. 30\u201339 (1998)","DOI":"10.1145\/279069.279080"},{"issue":"19","key":"5_CR18","doi-asserted-by":"publisher","first-page":"10689","DOI":"10.1073\/pnas.96.19.10689","volume":"96","author":"E. Bornberg-Bauer","year":"1999","unstructured":"Bornberg-Bauer, E., Chan, H.S.: Modeling evolutionary landscapes: mutational stability, topology, and superfunnels in sequence space. Proc. Natl. Acad. Sci. USA\u00a096(19), 10689\u201310694 (1999)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"5_CR19","first-page":"47","volume-title":"Proc. of the 1st Annual International Conference on Computational Molecular Biology (RECOMB)","author":"E. Bornberg-Bauer","year":"1997","unstructured":"Bornberg-Bauer, E.: Chain growth algorithms for HP-type lattice proteins. In: Proc. of the 1st Annual International Conference on Computational Molecular Biology (RECOMB), pp. 47\u201355. ACM Press, New York (1997)"},{"key":"5_CR20","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":"5_CR21","doi-asserted-by":"crossref","unstructured":"Crescenzi, P., Goldman, D., Papadimitriou, C., Piccolboni, A., Yannakakis, M.: On the complexity of protein folding. In: Proc. of STOC (1998) (to appear), Short version in Proc. of RECOMB 1998, pp. 61\u201362","DOI":"10.1089\/cmb.1998.5.423"},{"issue":"2","key":"5_CR22","doi-asserted-by":"publisher","first-page":"809","DOI":"10.1073\/pnas.022240299","volume":"99","author":"Y. Cui","year":"2002","unstructured":"Cui, Y., Wong, W.H., Bornberg-Bauer, E., Chan, H.S.: Recom-binatoric exploration of novel folded structures: a heteropolymer-based model of protein evolutionary landscapes. Proc. Natl. Acad. Sci. USA\u00a099(2), 809\u2013814 (2002)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1002\/pro.5560040401","volume":"4","author":"K.A. Dill","year":"1995","unstructured":"Dill, K.A., Bromberg, S., Yue, K., Fiebig, K.M., Yee, D.P., Thomas, P.D., Chan, H.S.: Principles of protein folding - a perspective of simple exact models. Protein Science\u00a04, 561\u2013602 (1995)","journal-title":"Protein Science"},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"1942","DOI":"10.1073\/pnas.90.5.1942","volume":"90","author":"K.A. Dill","year":"1993","unstructured":"Dill, K.A., Fiebig, K.M., Chan, H.S.: Cooperativity in protein-folding kinetics. Proc. Natl. Acad. Sci. USA\u00a090, 1942\u20131946 (1993)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"issue":"16","key":"5_CR25","doi-asserted-by":"publisher","first-page":"8356","DOI":"10.1073\/pnas.93.16.8356","volume":"93","author":"A.R. Dinner","year":"1996","unstructured":"Dinner, A.R., Sali, A., Karplus, M.: The folding mechanism of larger model proteins: role of native structure. Proc. Natl. Acad. Sci. USA\u00a093(16), 8356\u20138361 (1996)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Dovier, A., Burato, M., Fogolari, F.: Using secondary structure information for protein folding in clp(fd). In: Proc. of Workshop on Functional and Constraint Logic Programming. ENTCS, vol.\u00a076 (2002)","DOI":"10.1016\/S1571-0661(04)80787-4"},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/322290.322292","volume":"29","author":"E.C. Freuder","year":"1982","unstructured":"Freuder, E.C.: A sufficient condition for backtrack-free search. Journal of the ACM\u00a029, 24\u201332 (1982)","journal-title":"Journal of the ACM"},{"issue":"4","key":"5_CR28","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1002\/(SICI)1097-0282(19971005)42:4<427::AID-BIP6>3.0.CO;2-S","volume":"42","author":"S. Govindarajan","year":"1997","unstructured":"Govindarajan, S., Goldstein, R.A.: The foldability landscape of model proteins. Biopolymers\u00a042(4), 427\u2013438 (1997)","journal-title":"Biopolymers"},{"issue":"3","key":"5_CR29","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1089\/cmb.1997.4.241","volume":"4","author":"W.E. Hart","year":"1997","unstructured":"Hart, W.E., Istrail, S.: Lattice and off-lattice side chain models of protein folding: linear time structure prediction better than 86. Journal of Computational Biology\u00a04(3), 241\u2013259 (1997)","journal-title":"Journal of Computational Biology"},{"issue":"1","key":"5_CR30","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1089\/cmb.1996.3.53","volume":"3","author":"W.E. Hart","year":"1996","unstructured":"Hart, W.E., Istrail, S.C.: Fast protein folding in the hydrophobic-hydrophilic model within three-eighths of optimal. Journal of Computational Biology\u00a03(1), 53\u201396 (1996)","journal-title":"Journal of Computational Biology"},{"key":"5_CR31","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1006\/jmbi.1996.0243","volume":"258","author":"D.A. Hinds","year":"1996","unstructured":"Hinds, D.A., Levitt, M.: From structure to sequence and back again. Journal of Molecular Biology\u00a0258, 201\u2013209 (1996)","journal-title":"Journal of Molecular Biology"},{"issue":"22","key":"5_CR32","doi-asserted-by":"publisher","first-page":"4823","DOI":"10.1103\/PhysRevLett.85.4823","volume":"85","author":"H. Kaya","year":"2000","unstructured":"Kaya, H., Chan, H.S.: Energetic components of cooperative protein folding. Physical Review Letters\u00a085(22), 4823\u20134826 (2000)","journal-title":"Physical Review Letters"},{"key":"5_CR33","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1038\/5794","volume":"6","author":"P. Koehl","year":"1999","unstructured":"Koehl, P., Levitt, M.: A brighter future for protein structure prediction. Nature Structural Biology\u00a06, 108\u2013111 (1999)","journal-title":"Nature Structural Biology"},{"key":"5_CR34","doi-asserted-by":"publisher","first-page":"3986","DOI":"10.1021\/ma00200a030","volume":"22","author":"K.F. Lau","year":"1989","unstructured":"Lau, K.F., Dill, K.A.: A lattice statistical mechanics model of the conformational and sequence spaces of proteins. Macromolecules\u00a022, 3986\u20133997 (1989)","journal-title":"Macromolecules"},{"key":"5_CR35","doi-asserted-by":"publisher","first-page":"5973","DOI":"10.1088\/0305-4470\/33\/34\/303","volume":"33","author":"D. MacDonald","year":"2000","unstructured":"MacDonald, D., Joseph, S., Hunter, D.L., Moseley, L.L., Jan, N., Guttmann, A.J.: Self-avoiding walks on the simple cubic lattice. J. Phys. A: Math. Gen.\u00a033, 5973\u20135983 (2000)","journal-title":"J. Phys. A: Math. Gen."},{"key":"5_CR36","unstructured":"Madras, N., Slade, G.: The Self-Avoiding Walk. Birkhauser, Boston, 425 pages (1993)"},{"key":"5_CR37","unstructured":"Ortiz, A.R., Kolinski, A., Skolnick, J.: Combined multiple sequence reduced protein model approach to predict the tertiary structure of small proteins. In: Altman, R.B., Dunker, A.K., Hunter, L., Klein, T.E. (eds.) PSB 1998, vol.\u00a03, pp. 375\u2013386 (1998)"},{"key":"5_CR38","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1006\/jmbi.1995.0311","volume":"249","author":"B.H. Park","year":"1995","unstructured":"Park, B.H., Levitt, M.: The complexity and accuracy of discrete state models of protein structure. Journal of Molecular Biology\u00a0249, 493\u2013507 (1995)","journal-title":"Journal of Molecular Biology"},{"key":"5_CR39","doi-asserted-by":"publisher","first-page":"5967","DOI":"10.1063\/1.459480","volume":"8","author":"E.I. Shakhnovich","year":"1990","unstructured":"Shakhnovich, E.I., Gutin, A.M.: Enumeration of all compact conformations of copolymers with random sequence of links. Journal Chemical Physics\u00a08, 5967\u20135971 (1990)","journal-title":"Journal Chemical Physics"},{"issue":"6701","key":"5_CR40","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1038\/26609","volume":"395","author":"N.J.A. Sloane","year":"1998","unstructured":"Sloane, N.J.A.: Kepler\u2019s conjecture confirmed. Nature\u00a0395(6701), 435\u2013436 (1998)","journal-title":"Nature"},{"key":"5_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BFb0015252","volume-title":"Computer Science Today","author":"G. Smolka","year":"1995","unstructured":"Smolka, G.: The Oz programming model. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol.\u00a01000, pp. 324\u2013343. Springer, Heidelberg (1995)"},{"key":"5_CR42","doi-asserted-by":"publisher","first-page":"988","DOI":"10.1006\/jmbi.1996.0375","volume":"259","author":"R. Unger","year":"1996","unstructured":"Unger, R., Moult, J.: Local interactions dominate folding in a simple protein model. Journal of Molecular Biology\u00a0259, 988\u2013994 (1996)","journal-title":"Journal of Molecular Biology"},{"key":"5_CR43","doi-asserted-by":"publisher","first-page":"1614","DOI":"10.1006\/jmbi.1994.1110","volume":"235","author":"A. \u0160ali","year":"1994","unstructured":"\u0160ali, A., Shakhnovich, E., Karplus, M.: Kinetics of protein folding. Journal of Molecular Biology\u00a0235, 1614\u20131636 (1994)","journal-title":"Journal of Molecular Biology"},{"key":"5_CR44","doi-asserted-by":"publisher","first-page":"1614","DOI":"10.1006\/jmbi.1994.1110","volume":"235","author":"A. \u0160ali","year":"1994","unstructured":"\u0160ali, A., Shakhnovich, E., Karplus, M.: Kinetics of protein folding. Journal of Molecular Biology\u00a0235, 1614\u20131636 (1994)","journal-title":"Journal of Molecular Biology"},{"key":"5_CR45","volume-title":"Proceedings of the Pacific Symposium on Biocomputing 2002 (PSB 2002)","author":"S. Will","year":"2002","unstructured":"Will, S.: Constraint-based hydrophobic core construction for protein structure prediction in the face-centered-cubic lattice. In: Altman, R.B., Dunker, A.K., Hunter, L., Klein, T.E. (eds.) Proceedings of the Pacific Symposium on Biocomputing 2002 (PSB 2002), World Scientific Publishing Co. Pte. Ltd., Singapore (2002)"},{"key":"5_CR46","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1006\/jmbi.2000.3835","volume":"300","author":"Y. Xia","year":"2000","unstructured":"Xia, Y., Huang, E.S., Levitt, M., Samudrala, R.: Ab initio construction of protein tertiary structures using a hierarchical approach. Journal of Molecular Biology\u00a0300, 171\u2013185 (2000)","journal-title":"Journal of Molecular Biology"},{"issue":"l","key":"5_CR47","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., Sha khnovich, E.I., Dill, K.A.: A test of lattice protein folding algorithms. Proc. Natl. Acad. Sci. USA\u00a092(l), 325\u2013329 (1995)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"issue":"3","key":"5_CR48","doi-asserted-by":"publisher","first-page":"2267","DOI":"10.1103\/PhysRevE.48.2267","volume":"48","author":"K. Yue","year":"1993","unstructured":"Yue, K., Dill, K.A.: Sequence-structure relationships in proteins and copolymers. Physical Review E\u00a048(3), 2267\u20132278 (1993)","journal-title":"Physical Review E"},{"key":"5_CR49","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1073\/pnas.92.1.146","volume":"92","author":"K. Yue","year":"1995","unstructured":"Yue, K., Dill, K.A.: Forces of tertiary structural organization in globular proteins. Proc. Natl. Acad. Sci. USA\u00a092, 146\u2013150 (1995)","journal-title":"Proc. Natl. Acad. Sci. USA"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24599-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T15:30:47Z","timestamp":1740324647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24599-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206422","9783540245995"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24599-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}