{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T08:52:51Z","timestamp":1762505571600},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"S1","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BMC Bioinformatics"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.1186\/1471-2105-11-s1-s39","type":"journal-article","created":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T07:17:05Z","timestamp":1263885425000},"source":"Crossref","is-referenced-by-count":24,"title":["A hybrid approach to protein folding problem integrating constraint programming with local search"],"prefix":"10.1186","volume":"11","author":[{"given":"Abu Dayem","family":"Ullah","sequence":"first","affiliation":[]},{"given":"Kathleen","family":"Steinh\u00f6fel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,1,18]]},"reference":[{"issue":"96","key":"3989_CR1","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1126\/science.181.4096.223","volume":"181","author":"CB Anfinsen","year":"1973","unstructured":"Anfinsen CB: Principles that govern the folding of protein chains. Science. 1973, 181 (96): 223-230.","journal-title":"Science"},{"issue":"4","key":"3989_CR2","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1002\/pro.5560040401","volume":"4","author":"KA Dill","year":"1995","unstructured":"Dill KA, Bromberg S, Yue K, Chan HS, Ftebig KM, Yee DP, Thomas DP: Principles of protein folding - A perspective from simple exact models. Protein Science. 1995, 4 (4): 561-602.","journal-title":"Protein Science"},{"key":"3989_CR3","doi-asserted-by":"publisher","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: On the complexity of protein folding. Journal of Computational Biology. 1998, 5: 423-465.","journal-title":"Journal of Computational Biology"},{"key":"3989_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1089\/cmb.1997.4.1","volume":"4","author":"WE Hart","year":"1997","unstructured":"Hart WE, Istrail S: Robust proofs of NP-hardness for protein folding: General lattices and energy potentials. Journal of Computational Biology. 1997, 4: 1-22.","journal-title":"Journal of Computational Biology"},{"key":"3989_CR5","first-page":"188","volume-title":"ICCB '03: 7th Annual International Conference on Computational Biology","author":"N Lesh","year":"2003","unstructured":"Lesh N, Mitzenmacher M, Whitesides S: A complete and effective move set for simplified protein folding. ICCB '03: 7th Annual International Conference on Computational Biology. 2003, 188-195. NY: ACM Press,"},{"key":"3989_CR6","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-540-87361-7_31","volume-title":"WABI '08: 8th international workshop on Algorithms in Bioinformatics","author":"HJ B\u00f6ckenhauer","year":"2008","unstructured":"B\u00f6ckenhauer HJ, Dayem Ullah AZM, Kapsokalivas L, Steinh\u00f6fel K: A Local Move Set for Protein Folding in Triangular Lattice Models. WABI '08: 8th international workshop on Algorithms in Bioinformatics. 2008, 369-381. full_text. Springer-Verlag,"},{"issue":"4","key":"3989_CR7","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1016\/j.compbiolchem.2008.03.004","volume":"32","author":"AA Albrecht","year":"2008","unstructured":"Albrecht AA, Skaliotis A, Steinh\u00f6fel K: Stochastic protein folding simulation in the three-dimensional HP-model. Comput Biol Chem. 2008, 32 (4): 248-255.","journal-title":"Comput Biol Chem"},{"key":"3989_CR8","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-70600-7_13","volume-title":"BIRD'08: 2nd International Conference on Bioinformatics Research and Development","author":"L Kapsokalivas","year":"2008","unstructured":"Kapsokalivas L, Gan X, Albrecht AA, Steinh\u00f6fel K: Two Local Search Methods for Protein Folding Simulation in the HP and the MJ Lattice Models. BIRD'08: 2nd International Conference on Bioinformatics Research and Development. 2008, 167-179. Springer-Verlag,"},{"key":"3989_CR9","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 KA: Forces of tertiary structural organization in globular proteins. Proc Natural Academy of Sciences USA. 1995, 92: 146-150. 10.1073\/pnas.92.1.146.","journal-title":"Proc Natural Academy of Sciences USA"},{"key":"3989_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10601-006-6848-8","volume":"11","author":"R Backofen","year":"2006","unstructured":"Backofen R, Will S: A constraint-based approach to fast and exact structure prediction in three-dimensional protein models. Constraints. 2006, 11: 5-30. 10.1007\/s10601-006-6848-8.","journal-title":"Constraints"},{"issue":"2","key":"3989_CR11","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/S1570-8667(03)00076-5","volume":"2","author":"R Backofen","year":"2004","unstructured":"Backofen R: 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. 2004, 2 (2): 161-206. 10.1016\/S1570-8667(03)00076-5.","journal-title":"Journal of Discrete Algorithms"},{"key":"3989_CR12","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1186\/1471-2105-9-230","volume":"9","author":"M Mann","year":"2008","unstructured":"Mann M, Will S, Backofen R: CPSP-tools - Exact and Complete Algorithms for High-throughput 3D Lattice Protein Studies. BMC Bioinformatics. 2008, 9: 230-","journal-title":"BMC Bioinformatics"},{"key":"3989_CR13","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1006\/jmbi.1996.0114","volume":"256","author":"S Miyazawa","year":"1996","unstructured":"Miyazawa S, Jernigan RL: Residue-Residue Potentials with a Favorable Contact Pair Term and an Unfavorable High Packing Density Term, for Simulation and Threading. Journal of Molecular Biology. 1996, 256: 623-644.","journal-title":"Journal of Molecular Biology"},{"key":"3989_CR14","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1186\/1471-2105-4-8","volume":"4","author":"M Berrera","year":"2003","unstructured":"Berrera M, Molinari H, Fogolari F: Amino acid empirical contact energy definitions for fold recognition in the space of contact maps. BMC Bioinformatics. 2003, 4: 8-","journal-title":"BMC Bioinformatics"},{"key":"3989_CR15","volume-title":"ISICA '09: 4th International Symposium on Intelligence Computation and Applications","author":"A Dayem Ullah","year":"2009","unstructured":"Dayem Ullah A, Kapsokalivas L, Mann M, Steinh\u00f6fel K: Protein Folding Simulation by Two-Stage Optimization. ISICA '09: 4th International Symposium on Intelligence Computation and Applications. 2009,"},{"key":"3989_CR16","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1186\/1471-2105-5-186","volume":"5","author":"A Dal Pal\u00f9","year":"2004","unstructured":"Dal Pal\u00f9 A, Dovier A, Fogolari A: Constraint logic programming approach to protein structure prediction. BMC Bioinformatics. 2004, 5: 186-","journal-title":"BMC Bioinformatics"},{"key":"3989_CR17","first-page":"230","volume-title":"International Conference on Principles and Practice of Declarative Programming","author":"A Dal Pal\u00f9","year":"2005","unstructured":"Dal Pal\u00f9 A, Dovier A, Pontelli E: Heuristics, Optimizations and parallelism for protein structure prediction in CLP(FD). International Conference on Principles and Practice of Declarative Programming. 2005, 230-241. NY: ACM Press,"},{"key":"3989_CR18","doi-asserted-by":"publisher","first-page":"1405","DOI":"10.1002\/spe.810","volume":"37","author":"A Dal Pal\u00f9","year":"2007","unstructured":"Dal Pal\u00f9 A, Dovier A, Pontelli E: A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. Software-Practice and Experience. 2007, 37: 1405-1449. 10.1002\/spe.810.","journal-title":"Software-Practice and Experience"},{"issue":"2","key":"3989_CR19","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1006\/jmbi.1995.0311","volume":"249","author":"BH Park","year":"1995","unstructured":"Park BH, Levitt M: The complexity and accuracy of discrete state models of protein structure. Journal of Molecular Biology. 1995, 249 (2): 493-507.","journal-title":"Journal of Molecular Biology"},{"key":"3989_CR20","unstructured":"The Protein Data bank.,\n                    http:\/\/www.pdb.org\/"},{"key":"3989_CR21","volume-title":"Computational Molecular Biology","author":"P Clote","year":"2001","unstructured":"Clote P, Backofen R: Computational Molecular Biology. 2001, NY: John Wiley & Sons,"},{"key":"3989_CR22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511615320","volume-title":"Principles of constraint programming","author":"KR Apt","year":"2003","unstructured":"Apt KR: Principles of constraint programming. 2003, Cambridge Universiyt Press,"},{"key":"3989_CR23","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S Kirkpatrick","year":"1983","unstructured":"Kirkpatrick S, Gelatt JCD, Vecchi MP: Optimization by simulated annealing. Science. 1983, 220: 671-680.","journal-title":"Science"},{"key":"3989_CR24","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00940812","volume":"45","author":"V Cerny","year":"1985","unstructured":"Cerny V: A thermodynamical approach to the travelling salesman problem: an efficient simulation algorithm. Journal of Optimization Theory and Applications. 1985, 45: 41-51. 10.1007\/BF00940812.","journal-title":"Journal of Optimization Theory and Applications"},{"key":"3989_CR25","volume-title":"Local search in combinatorial optimization","author":"EHL Aarts","year":"1998","unstructured":"Aarts EHL: Local search in combinatorial optimization. 1998, NY: Wiley,"},{"key":"3989_CR26","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/978-3-540-71233-6_30","volume-title":"BIRD'07: 1st International Conference on Bioinformatics Research and Development","author":"K Steinh\u00f6fel","year":"2007","unstructured":"Steinh\u00f6fel K, Skaliotis A, Albrecht AA: Stochastic protein folding simulation in the d-Dimensional HP-Model. BIRD'07: 1st International Conference on Bioinformatics Research and Development. 2007, 381-394. Springer-Verlag,"},{"key":"3989_CR27","first-page":"187","volume-title":"Handbook of Computational Chemistry and Biology","author":"P Schuster","year":"2004","unstructured":"Schuster P, Stadler PF: Discrete Models of Bioploymers. Handbook of Computational Chemistry and Biology. Edited by: Crabbe J, Konopka A, Drew M. 2004, 187-221. NY: Marcel Dekker,"},{"key":"3989_CR28","unstructured":"COLA: Constraint Solver On Lattices., \n                    http:\/\/www2.unipr.it\/~dalpalu\/COLA\/"}],"container-title":["BMC Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-11-S1-S39.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/1471-2105-11-S1-S39\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-11-S1-S39.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,22]],"date-time":"2019-01-22T12:32:44Z","timestamp":1548160364000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcbioinformatics.biomedcentral.com\/articles\/10.1186\/1471-2105-11-S1-S39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":28,"journal-issue":{"issue":"S1","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["3989"],"URL":"https:\/\/doi.org\/10.1186\/1471-2105-11-s1-s39","relation":{},"ISSN":["1471-2105"],"issn-type":[{"value":"1471-2105","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1]]},"article-number":"S39"}}