{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:53:40Z","timestamp":1725551620033},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540305538"},{"type":"electronic","value":"9783540316503"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11591191_5","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T09:44:25Z","timestamp":1132652665000},"page":"48-63","source":"Crossref","is-referenced-by-count":2,"title":["A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Dal Pal\u00f9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agostino","family":"Dovier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Agarwala, R., et al.: Local rules for protein folding on a triangular lattice and generalized hydrophobicity in the HP model. J. Computational Biology, 275\u2013296 (1997)","DOI":"10.1089\/cmb.1997.4.275"},{"key":"5_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511615320","volume-title":"Principles of constraint programming","author":"K.R. Apt","year":"2003","unstructured":"Apt, K.R.: Principles of constraint programming. Cambridge University press, Cambridge (2003)"},{"issue":"2\u20133","key":"5_CR3","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\u20133), 223\u2013255 (2001)","journal-title":"Constraints"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"5_CR5","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1093\/nar\/28.1.235","volume":"28","author":"H.M. Berman","year":"2000","unstructured":"Berman, H.M., et al.: The Protein Data Bank. Nucleic Acids Research\u00a028, 235\u2013242 (2000)","journal-title":"Nucleic Acids Research"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Berrera, M., Molinari, H., Fogolari, F.: Amino acid empirical contact energy definitions for fold recognition in the space of contact maps. BMC Bioinformatics\u00a04(8) (2003)","DOI":"10.1186\/1471-2105-4-8"},{"key":"5_CR7","unstructured":"Center for Computational Materials Science, Naval Research Labs, Crystal Lattice Structures, http:\/\/cst-www.nrl.navy.mil\/lattice\/"},{"key":"5_CR8","first-page":"752","volume":"4","author":"D. Clark","year":"1991","unstructured":"Clark, D., et al.: Protein topology prediction through constraint-based search and the evaluation of topological folding rules. Protein Engineering\u00a04, 752\u2013760 (1991)","journal-title":"Protein Engineering"},{"key":"5_CR9","volume-title":"Computational Molecular Biology","author":"P. Clote","year":"2001","unstructured":"Clote, P., Backofen, R.: Computational Molecular Biology. John Wiley & Sons, Chichester (2001)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Crescenzi, P., et al.: On the complexity of protein folding. In: STOC, pp. 597\u2013603 (1998)","DOI":"10.1145\/276698.276875"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Dal Pal\u00f9, A., Dovier, A., Fogolari, F.: Constraint logic programming approach to protein structure prediction. BMC Bioinformatics\u00a05(186) (2004)","DOI":"10.1186\/1471-2105-5-186"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E.: Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD). In: Proc. of PPDP 2005 (2005)","DOI":"10.1145\/1069774.1069796"},{"key":"5_CR13","unstructured":"Forman, S.: Torsion Angle Selection and Emergent Non-local Secondary Structure in Protein Structure Prediction. PhD thesis, U. of Iowa (2001)"},{"key":"5_CR14","unstructured":"Greenberg, H.J., et al.: Opportunities for Combinatorial Optimization in Computational Biology. INFORMS Journal of Computing (2003)"},{"key":"5_CR15","volume-title":"The computational complexity of protein structure prediction in simple lattice models","author":"W. Hart","year":"2003","unstructured":"Hart, W., Newman, A.: The computational complexity of protein structure prediction in simple lattice models. CRC Press, Boca Raton (2003) (to appear)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/978-3-540-48085-3_21","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"L. Krippahl","year":"1999","unstructured":"Krippahl, L., Barahona, P.: Applying Constraint Programming to Protein Structure Determination. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 289\u2013302. Springer, Heidelberg (1999)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"2072","DOI":"10.1002\/pro.5560061003","volume":"6","author":"G. Raghunathan","year":"1997","unstructured":"Raghunathan, G., Jernigan, R.L.: Ideal architecture of residue packing and its observation in protein structures. Protein Science\u00a06, 2072\u20132083 (1997)","journal-title":"Protein Science"},{"issue":"2-3","key":"5_CR18","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1023\/A:1011437706814","volume":"6","author":"R. Rodosek","year":"2001","unstructured":"Rodosek, R.: A Constraint-based Approach for Deriving 3-D Structures of Cyclic Polypeptides. Constraints\u00a06(2-3), 257\u2013270 (2001)","journal-title":"Constraints"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Rost, B.: Protein Secondary Structure Prediction Continues to Rise. J. Struct. Biol.\u00a0134 (2001)","DOI":"10.1006\/jsbi.2001.4336"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1016\/j.polymer.2003.10.064","volume":"45","author":"J. Skolnick","year":"2004","unstructured":"Skolnick, J., et al.: Reduced models of proteins and applications. Polymer\u00a045, 511\u2013524 (2004)","journal-title":"Polymer"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1110\/ps.8.1.196","volume":"8","author":"L. Toma","year":"1999","unstructured":"Toma, L., Toma, S.: Folding simulation of protein models on the structure-based cubo-octahedral lattice with contact interactions algorithm. Protein Science\u00a08, 196\u2013202 (1999)","journal-title":"Protein Science"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11591191_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T03:01:16Z","timestamp":1586574076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11591191_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540305538","9783540316503"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11591191_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}