{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T00:48:39Z","timestamp":1773276519328,"version":"3.50.1"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2006,1]]},"DOI":"10.1007\/s10601-006-6848-8","type":"journal-article","created":{"date-parts":[[2006,4,6]],"date-time":"2006-04-06T22:56:09Z","timestamp":1144364169000},"page":"5-30","source":"Crossref","is-referenced-by-count":66,"title":["A Constraint-Based Approach to Fast and Exact Structure Prediction in Three-Dimensional Protein Models"],"prefix":"10.1007","volume":"11","author":[{"given":"Rolf","family":"Backofen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Will","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,3,7]]},"reference":[{"key":"6848_CR1","doi-asserted-by":"crossref","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. (1995). Impact of local and non-local interactions on thermodynamics and kinetics of protein folding. Journal of Molecular Biology, 252, 460\u2013471.","journal-title":"Journal of Molecular Biology"},{"key":"6848_CR2","unstructured":"Abkevich, V. I., Gutin, A. M., & Shakhnovich, E. I. (1997). Computer simulations of prebiotic evolution. In Proc. of the Pacific Symposium on Biocomputing (PSB'97), pp. 27\u201338."},{"issue":"2","key":"6848_CR3","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, S. E., Farach, M., Hannenhalli, S., Muthukrishnan, S., et al. (1997). Local rules for protein folding on a triangular lattice and generalized hydrophobicity in the HP-model. Journal of Computational Bioliology, 4(2), 275\u2013296.","journal-title":"Journal of Computational Bioliology"},{"key":"6848_CR4","unstructured":"Backofen, R. (1999). Optimization techniques for the protein structure prediction problem. Habilitationsschrift. University of Munich."},{"key":"6848_CR5","doi-asserted-by":"crossref","unstructured":"Backofen, R. (2000). An upper bound for number of contacts in the HP-model on the facecentered-cubic lattice (FCC). In Proc. of the 11th Annual Symposium on Combinatorial Pattern Matching (CPM2000). Lecture Notes in Computer Science, Vol. 1848. Berlin. pp. 277\u2013292.","DOI":"10.1007\/3-540-45123-4_24"},{"key":"6848_CR6","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1023\/A:1011485622743","volume":"6","author":"R. Backofen","year":"2001","unstructured":"Backofen, R. (2001). The protein structure prediction problem: A constraint optimization approach using a new lower bound. Constraints, 6, 223\u2013255.","journal-title":"Constraints"},{"key":"6848_CR7","unstructured":"Backofen, R. (2003). A polynomial time upper bound for the number of contacts in the HP-model on the face-centered-cubic lattice (FCC). Journal of Discrete Algorithms."},{"key":"6848_CR8","doi-asserted-by":"crossref","unstructured":"Backofen, R., & Will, S. (1999). Excluding symmetries in constraint-based search. In Proc. of 5th International Conference on Principle and Practice of Constraint Programming (CP'99). Lecture Notes in Computer Science, Vol. 1713. Berlin. pp. 73\u201387.","DOI":"10.1007\/978-3-540-48085-3_6"},{"key":"6848_CR9","doi-asserted-by":"crossref","unstructured":"Backofen, R., & Will, S. (2001a). Fast, constraint-based threading of HP-sequences to hydrophobic cores. In Proc. of 7th International Conference on Principle and Practice of Constraint Programming (CP'2001). Lecture Notes in Computer Science, Vol. 2239. Berlin.","DOI":"10.1007\/3-540-45578-7_34"},{"key":"6848_CR10","doi-asserted-by":"crossref","unstructured":"Backofen, R., & Will, S. (2001b). Optimally compact finite sphere packings\u2014hydrophobic cores in the FCC. In Proc. of the 12th Annual Symposium on Combinatorial Pattern Matching (CPM 2001). Lecture Notes in Computer Science, Vol. 2089. Berlin.","DOI":"10.1007\/3-540-48194-X_24"},{"issue":"3","key":"6848_CR11","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"},{"key":"6848_CR12","unstructured":"Backofen, R., Will, S., & Clote, P. (2000). Algorithmic approach to quantifying the hydrophobic force contribution in protein folding. In Pacific Symposium on Biocomputing (PSB 2000). 5, 92\u2013103."},{"key":"6848_CR13","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, R. L., & Bahar, I. (2002a). Residue coordination in proteins conforms to the closest packing of spheres. Polymer, 43, 451\u2013459.","journal-title":"Polymer"},{"key":"6848_CR14","doi-asserted-by":"crossref","first-page":"2269","DOI":"10.1063\/1.1432502","volume":"116","author":"Z. Bagci","year":"2002","unstructured":"Bagci, Z., Jernigan, R. L., & Bahar, I. (2002b). Residue packing in proteins: Uniform distribution on a coarse-grained scale. Journal of Chemical Physics, 116, 2269\u20132276.","journal-title":"Journal of Chemical Physics"},{"key":"6848_CR15","doi-asserted-by":"crossref","unstructured":"Berger, B., & Leighton, T. (1998). Protein folding in the hydrophobic-hydrophilic (HP) model is NP-complete. In Proc. of the Second Annual International Conference on Research in Computational Molecular Biology (RECOMB'98), pp. 30\u201339.","DOI":"10.1145\/279069.279080"},{"key":"6848_CR16","doi-asserted-by":"crossref","unstructured":"Bornberg-Bauer, E. (1997). Chain growth algorithms for HP-type lattice proteins. In Proc. of the First Annual International Conference on Research in Computational Molecular Biology (RECOMB'97), pp. 47\u201355.","DOI":"10.1145\/267521.267528"},{"issue":"19","key":"6848_CR17","doi-asserted-by":"crossref","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. (1999). Modeling evolutionary landscapes: mutational stability, topology, and superfunnels in sequence space. PNAS, 96(19), 10689\u201310694.","journal-title":"PNAS"},{"key":"6848_CR18","doi-asserted-by":"crossref","first-page":"3118","DOI":"10.1021\/acs.analchem.9b04736","volume":"92","author":"H. S. Chan","year":"1990","unstructured":"Chan, H. S., & Dill, K. A. (1990). The effects of internal constraints on the configurations of chain molecules. Journal Chemical Analysis, 92, 3118\u20133135.","journal-title":"Journal Chemical Analysis"},{"key":"6848_CR19","doi-asserted-by":"crossref","first-page":"1267","DOI":"10.1126\/science.281.5381.1267","volume":"281","author":"B. Cipra","year":"1998","unstructured":"Cipra, B. (1998). Packing challenge mastered at last. Science, 281, 1267.","journal-title":"Science"},{"key":"6848_CR20","doi-asserted-by":"crossref","unstructured":"Crescenzi, P., Goldman, D., Papadimitriou, C., Piccolboni, A., & Yannakakis, M. (1998). On the complexity of protein folding. In Proc. of STOC, pp. 61\u201362.","DOI":"10.1089\/cmb.1998.5.423"},{"issue":"2","key":"6848_CR21","doi-asserted-by":"crossref","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. (2002). Recombinatoric exploration of novel folded structures: A heteropolymer-based model of protein evolutionary landscapes. PNAS, 99(2), 809\u2013814.","journal-title":"PNAS"},{"key":"6848_CR22","doi-asserted-by":"crossref","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. (1995). Principles of protein folding\u2014a perspective of simple exact models. Protein Sci., 4, 561\u2013602.","journal-title":"Protein Science"},{"key":"6848_CR23","doi-asserted-by":"crossref","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. (1993). Cooperativity in protein-folding kinetics. PNAS 90, 1942\u20131946.","journal-title":"PNAS"},{"issue":"16","key":"6848_CR24","doi-asserted-by":"crossref","first-page":"8356","DOI":"10.1073\/pnas.93.16.8356","volume":"93","author":"A. R. Dinner","year":"1996","unstructured":"Dinner, A. R., \u0160ali, A., & Karplus, M. (1996). The folding mechanism of larger model proteins: Role of native structure. PNAS, 93(16), 8356\u20138361.","journal-title":"PNAS"},{"key":"6848_CR25","unstructured":"Dovier, A., Burato, M., & Fogolari, F. (2002). Using secondary structure information for protein folding in CLP(FD). In Proc. of Workshop on Functional and Constraint Logic Programming. ENTCS Vol. 76."},{"key":"6848_CR26","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/322290.322292","volume":"29","author":"E. C. Freuder","year":"1982","unstructured":"Freuder, E. C. (1982). A sufficient condition for backtrack-free search. Journal of the ACM, 29, 24\u201332.","journal-title":"Journal of the ACM"},{"issue":"4","key":"6848_CR27","doi-asserted-by":"crossref","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. (1997). The foldability landscape of model proteins. Biopolymers, 42(4), 427\u2013438.","journal-title":"Biopolymers"},{"issue":"3","key":"6848_CR28","first-page":"241","volume":"4","author":"W. E. Hart","year":"1997","unstructured":"Hart, W. E., & Istrail, S. (1997). Lattice and off-lattice side chain models of protein folding: Linear time structure prediction better than 86% of optimal. Journal of Molecular Biology, 4(3), 241\u2013259.","journal-title":"Journal of Molecular Biology"},{"issue":"1","key":"6848_CR29","doi-asserted-by":"crossref","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. (1996). Fast protein folding in the hydrophobic-hydrophilic model within three-eighths of optimal. Journal Computer Biology, 3(1), 53\u201396.","journal-title":"Journal Computer Biology"},{"key":"6848_CR30","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1006\/jmbi.1996.0243","volume":"258","author":"D. A. Hinds","year":"1996","unstructured":"Hinds, D. A., & Levitt, M. (1996). From structure to sequence and back again. Journal Molecular Biology, 258, 201\u2013209.","journal-title":"Journal Molecular Biology"},{"issue":"22","key":"6848_CR31","doi-asserted-by":"crossref","first-page":"4823","DOI":"10.1103\/PhysRevLett.85.4823","volume":"85","author":"H. Kaya","year":"2000","unstructured":"Kaya, H., & Chan, H. S. (2000). Energetic components of cooperative protein folding. Physics Review Letter, 85(22), 4823\u20134826.","journal-title":"Physics Review Letter"},{"key":"6848_CR32","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1038\/5794","volume":"6","author":"P. Koehl","year":"1999","unstructured":"Koehl, P., & Levitt, M. (1999). A brighter future for protein structure prediction. National Structunal Biology, 6, 108\u2013111.","journal-title":"National Structunal Biology"},{"key":"6848_CR33","doi-asserted-by":"crossref","first-page":"3986","DOI":"10.1021\/ma00200a030","volume":"22","author":"K. F. Lau","year":"1989","unstructured":"Lau, K. F., & Dill, K. A. (1989). A lattice statistical mechanics model of the conformational and sequence spaces of proteins. Macromolecules, 22, 3986\u20133997.","journal-title":"Macromolecules"},{"key":"6848_CR34","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1126\/science.273.5275.666","volume":"273","author":"H. Li","year":"1996","unstructured":"Li, H., Helling, R., Tang, C., & Wingreen, N. (1996). Emergence of preferred structures in a simple model of protein folding. Science, 273, 666\u2013669.","journal-title":"Science"},{"key":"6848_CR35","doi-asserted-by":"crossref","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. (2000). Self-avoiding walks on the simple cubic lattice. Journal of Physics A: Math. Gen., 33, 5973\u20135983.","journal-title":"Journal of Physics A: Math. Gen."},{"key":"6848_CR36","volume-title":"The self-avoiding walk","author":"N. Madras","year":"1993","unstructured":"Madras, N., & Slade, G. (1993). The self-avoiding walk. Boston: Birkh\u00e4user, 425 pp."},{"key":"6848_CR37","unstructured":"Ortiz, A. R., Kolinski, A., & Skolnick, J. (1998). Combined multiple sequence reduced protein model approach to predict the tertiary structure of small proteins. In Proc. of the Pacific Symposium on Biocomputing 1998 (PSB'98). 3, 375\u2013386."},{"key":"6848_CR38","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1006\/jmbi.1995.0311","volume":"249","author":"B. H. Park","year":"1995","unstructured":"Park, B. H., & Levitt, M. (1995). The complexity and accuracy of discrete state models of protein structure. Journal Molecular Biology, 249, 493\u2013507.","journal-title":"Journal Molecular Biology"},{"key":"6848_CR39","unstructured":"Regin, J.-C. (1994). A filtering algorithm for constraints of difference. In Proc. of the 12th National Conference of the American Association for Artificial Intelligence, pp. 362\u2013367."},{"key":"6848_CR40","doi-asserted-by":"crossref","first-page":"5967","DOI":"10.1063\/1.459480","volume":"8","author":"E. I. Shakhnovich","year":"1990","unstructured":"Shakhnovich, E. I., & Gutin, A. M. (1990). Enumeration of all compact conformations of copolymers with random sequence of links. Journal Chemical Physics, 8, 5967\u20135971.","journal-title":"Journal Chemical Physics"},{"issue":"6701","key":"6848_CR41","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1038\/26609","volume":"395","author":"N. J. A. Sloane","year":"1998","unstructured":"Sloane, N. J. A. (1998). Kepler's conjecture conformed. Nature, 395(6701), 435\u2013436.","journal-title":"Nature"},{"key":"6848_CR42","first-page":"324","volume-title":"Computer Science Today. Lecture Notes in Computer Science","author":"G. Smolka","year":"1995","unstructured":"Smolka, G. (1995). The Oz programming model. In Computer Science Today. Lecture Notes in Computer Science, pages 324\u2013343. Berlin Heidelberg New York: Springer-Verlag."},{"key":"6848_CR43","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 simpleprotein model. Journal Molecular Biology, 259, 988\u2013994.","journal-title":"Journal Molecular Biology"},{"key":"6848_CR44","doi-asserted-by":"crossref","first-page":"1614","DOI":"10.1006\/jmbi.1994.1110","volume":"235","author":"A. \u0160ali","year":"1994","unstructured":"\u0160ali, A., Shakhnovich, E., & Karplus, M. (1994). Kinetics of protein folding. Journal Molecular Biology, 235, 1614\u20131636.","journal-title":"Journal Molecular Biology"},{"key":"6848_CR45","unstructured":"Will, S. (2002). Constraint-based hydrophobic core construction for protein structure prediction in the face-centered-cubic lattice. In Proc. of the Pacific Symposium on Biocomputing 2002 (PSB 2002). Singapore."},{"key":"6848_CR46","doi-asserted-by":"crossref","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. (2000). Ab initio construction of protein tertiary structures using a hierarchical approach. Journal Molecular Biology, 300, 171\u2013185.","journal-title":"Journal Molecular Biology"},{"issue":"3","key":"6848_CR47","doi-asserted-by":"crossref","first-page":"2267","DOI":"10.1103\/PhysRevE.48.2267","volume":"48","author":"K. Yue","year":"1993","unstructured":"Yue, K., & Dill, K. A. (1993). Sequence-structure relationships in proteins and copolymers. Physics Review E, 48(3), 2267\u20132278.","journal-title":"Physics Review E"},{"key":"6848_CR48","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1073\/pnas.92.1.146","volume":"92","author":"K. Yue","year":"1995","unstructured":"Yue, K., & Dill, K. A. (1995). Forces of tertiary structural organization in globular proteins. PNAS, 92, 146\u2013150.","journal-title":"PNAS"},{"issue":"1","key":"6848_CR49","doi-asserted-by":"crossref","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., Shakhnovich, E. I., & Dill, K. A. (1995). A test of lattice protein folding algorithms. PNAS, 92(1), 325\u2013329.","journal-title":"PNAS"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-006-6848-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-006-6848-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-006-6848-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,13]],"date-time":"2020-04-13T15:54:19Z","timestamp":1586793259000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-006-6848-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,1]]}},"alternative-id":["6848"],"URL":"https:\/\/doi.org\/10.1007\/s10601-006-6848-8","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}