{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:56:05Z","timestamp":1750308965292,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,7,11]],"date-time":"2005-07-11T00:00:00Z","timestamp":1121040000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,7,11]]},"DOI":"10.1145\/1069774.1069796","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"230-241","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Heuristics, optimizations, and parallelism for protein structure prediction in CLP(\n            <i>FD<\/i>\n            )"],"prefix":"10.1145","author":[{"given":"Alessandro","family":"Dal Pal\u00f9","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Udine"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agostino","family":"Dovier","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Udine"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[{"name":"New Mexico State University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"275","volume-title":"Local rules for protein folding on a triangular lattice and generalized hydrophobicity in the HP model. J. of Computational Biology","author":"Agarwala R.","year":"1997","unstructured":"R. Agarwala Local rules for protein folding on a triangular lattice and generalized hydrophobicity in the HP model. J. of Computational Biology , pages 275 -- 296 , 1997 . R. Agarwala et al. Local rules for protein folding on a triangular lattice and generalized hydrophobicity in the HP model. J. of Computational Biology, pages 275--296, 1997."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1237975"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011485622743"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/647488.726974"},{"key":"e_1_3_2_1_5_1","volume-title":"A Constraint-Based Approach to Structure Prediction for Simplified Protein Models that Outperforms Other Existing Methods. ICLP","author":"Backofen R.","year":"2003","unstructured":"R. Backofen and S. Will . A Constraint-Based Approach to Structure Prediction for Simplified Protein Models that Outperforms Other Existing Methods. ICLP , 2003 , Springer Verlag . R. Backofen and S. Will. A Constraint-Based Approach to Structure Prediction for Simplified Protein Models that Outperforms Other Existing Methods. ICLP, 2003, Springer Verlag."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/28.1.235"},{"key":"e_1_3_2_1_7_1","volume-title":"Amino acid empirical contact energy definitions for fold recognition in the space of contact maps. BMC Bioinformatics, 4(8)","author":"Berrera M.","year":"2003","unstructured":"M. Berrera , H. Molinari , and F. Fogolari . Amino acid empirical contact energy definitions for fold recognition in the space of contact maps. BMC Bioinformatics, 4(8) , 2003 . M. Berrera, H. Molinari, and F. Fogolari. Amino acid empirical contact energy definitions for fold recognition in the space of contact maps. BMC Bioinformatics, 4(8), 2003."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.biophys.30.1.173"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/jcc.540040211"},{"key":"e_1_3_2_1_10_1","volume-title":"An open-ended finite domain constraint solver. PLILP","author":"Carlsson M.","year":"1997","unstructured":"M. Carlsson , G. Ottosson , and B. Carlson . An open-ended finite domain constraint solver. PLILP , Springer Verlag , 1997 . M. Carlsson, G. Ottosson, and B. Carlson. An open-ended finite domain constraint solver. PLILP, Springer Verlag, 1997."},{"key":"e_1_3_2_1_12_1","first-page":"752","article-title":"Protein topology prediction through constraint-based search and the evaluation of topological folding rules","volume":"4","author":"Clark D.","year":"1991","unstructured":"D. Clark , J. Shirazi , and C. Rawlings . Protein topology prediction through constraint-based search and the evaluation of topological folding rules . Protein Engineering , 4 : 752 -- 760 , 1991 . D. Clark, J. Shirazi, and C. Rawlings. Protein topology prediction through constraint-based search and the evaluation of topological folding rules. Protein Engineering, 4:752--760, 1991.","journal-title":"Protein Engineering"},{"key":"e_1_3_2_1_13_1","volume-title":"Computational Molecular Biology: An Introduction","author":"Clote P.","year":"2001","unstructured":"P. Clote and R. Backofen . Computational Molecular Biology: An Introduction . John Wiley & Sons , 2001 . P. Clote and R. Backofen. Computational Molecular Biology: An Introduction. John Wiley & Sons, 2001."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/276698.276875"},{"key":"e_1_3_2_1_15_1","volume-title":"Constraint logic programming approach to protein structure prediction. BMC Bioinformatics, 5(186)","author":"Dal Pal\u00f9 A.","year":"2004","unstructured":"A. Dal Pal\u00f9 , A. Dovier , and F. Fogolari . Constraint logic programming approach to protein structure prediction. BMC Bioinformatics, 5(186) , 2004 . A. Dal Pal\u00f9, A. Dovier, and F. Fogolari. Constraint logic programming approach to protein structure prediction. BMC Bioinformatics, 5(186), 2004."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24662-6_14"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0006-3495(96)79678-9"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/504083.504085"},{"key":"e_1_3_2_1_20_1","first-page":"53","volume-title":"Fast protein folding in the hydrophobic-hytrophilic model within three-eighths of optimal. J. of Computational Biology","author":"Hart W.","year":"1996","unstructured":"W. Hart and S. Israil . Fast protein folding in the hydrophobic-hytrophilic model within three-eighths of optimal. J. of Computational Biology , pages 53 -- 96 , 1996 . W. Hart and S. Israil. Fast protein folding in the hydrophobic-hytrophilic model within three-eighths of optimal. J. of Computational Biology, pages 53--96, 1996."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1006\/jmbi.1996.0114"},{"key":"e_1_3_2_1_22_1","volume-title":"Symposium on Discrete Algorithms. Springer Verlag","author":"Newman A.","year":"2002","unstructured":"A. Newman . A New Algorithm for Protein Folding in the HP Model . In Symposium on Discrete Algorithms. Springer Verlag , 2002 . A. Newman. A New Algorithm for Protein Folding in the HP Model. In Symposium on Discrete Algorithms. Springer Verlag, 2002."},{"key":"e_1_3_2_1_23_1","volume-title":"National Research Council","author":"Committee on Mathematical Challenges from Computational Chemistry.","year":"1995","unstructured":"Committee on Mathematical Challenges from Computational Chemistry. National Research Council , 1995 . Committee on Mathematical Challenges from Computational Chemistry. National Research Council, 1995."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1021\/jp961992r"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/pro.5560061003"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1006\/jmbi.1993.1413"},{"key":"e_1_3_2_1_27_1","first-page":"171","article-title":"Ab initio protein structure prediction of CASP III targets using ROSETTA","volume":"1999","author":"Simons K.","unstructured":"K. Simons Ab initio protein structure prediction of CASP III targets using ROSETTA . Proteins 1999 , 3: 171 -- 176 . K. Simons et al. Ab initio protein structure prediction of CASP III targets using ROSETTA. Proteins 1999, 3:171--176.","journal-title":"Proteins"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCISE.2001.947107"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.polymer.2003.10.064"},{"key":"e_1_3_2_1_30_1","unstructured":"Swedish Institute for Computer Science. Sicstus Prolog. http:\/\/www.sics.se\/sicstus\/.  Swedish Institute for Computer Science. Sicstus Prolog. http:\/\/www.sics.se\/sicstus\/."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1110\/ps.8.1.196"},{"key":"e_1_3_2_1_32_1","first-page":"607","volume-title":"IJCAI","author":"William L.G.","year":"1995","unstructured":"M. L.G. William and D. Harvey . Limited discrepancy search . IJCAI , pages 607 -- 615 , Morgan Kaufmann , 1995 . M.L.G. William and D. Harvey. Limited discrepancy search. IJCAI, pages 607--615, Morgan Kaufmann, 1995."}],"event":{"name":"PPDP05: Principles and Practice of Declarative Programming 2005","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Lisbon Portugal","acronym":"PPDP05"},"container-title":["Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1069774.1069796","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1069774.1069796","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:38:23Z","timestamp":1750282703000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1069774.1069796"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,11]]},"references-count":30,"alternative-id":["10.1145\/1069774.1069796","10.1145\/1069774"],"URL":"https:\/\/doi.org\/10.1145\/1069774.1069796","relation":{},"subject":[],"published":{"date-parts":[[2005,7,11]]},"assertion":[{"value":"2005-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}