{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:07:09Z","timestamp":1761620829267,"version":"3.41.2"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2002,7]]},"DOI":"10.1023\/a:1020577603762","type":"journal-article","created":{"date-parts":[[2003,3,18]],"date-time":"2003-03-18T15:12:43Z","timestamp":1048000363000},"page":"317-331","source":"Crossref","is-referenced-by-count":20,"title":["PSICO: Solving Protein Structures with Constraint Programming and Optimization"],"prefix":"10.1007","volume":"7","author":[{"given":"Ludwig","family":"Krippahl","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Barahona","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5095783_CR1","doi-asserted-by":"crossref","unstructured":"Abe, H., Braun, W., Noguti, T., & Go, N. (1984). Rapid calculation of first and second derivatives of conformationalener gy with respect to dihedralangl es for proteins. generalr ecurrent equations. Computers Chemistry, 5(4): 239.","DOI":"10.1016\/0097-8485(84)85015-9"},{"issue":"5","key":"5095783_CR2","first-page":"690","volume":"251","author":"M. Archer","year":"1995","unstructured":"Archer, M., Huber, R., Tavares, P., Moura, I., Moura, J. J., Carrondo, M. A., Sieker, L. C., LeGall, J., & Rom\u0101o, M. J. (1995). Crystal structure of desulforedoxin from Desulfovibrio gigas determined at 1.8, A resolution: a novel non-heme iron protein structure. Journal of Molecular Biology, 251(5): 690.","journal-title":"Crystal structure of desulforedoxin from Desulfovibrio gigas determined at 1.8, A resolution: a novel non-heme iron protein structure. Journal of Molecular Biology"},{"key":"5095783_CR3","first-page":"72","volume":"1520","author":"R. Backofen","year":"1998","unstructured":"Backofen, R. (1998). Constraint Techniques for Solving the Protein Structure Prediction Problem, CP98, Lecture Notes in Computer Science, Vol. 1520, page 72. Springer-Verlag.","journal-title":"Constraint Techniques for Solving the Protein Structure Prediction Problem"},{"key":"5095783_CR4","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 optimisation approach using a new lower bound. Constraints, 6: 223.","journal-title":"Constraints"},{"issue":"12","key":"5095783_CR5","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0895-7177(94)90127-9","volume":"20","author":"N. Beldiceanu","year":"1994","unstructured":"Beldiceanu, N., & Contejean, E. (1994). Introducing Global Constraints in CHIP. Mathl. Comp. Modelling, 20(12): 97.","journal-title":"Mathl. Comp. Modelling"},{"key":"5095783_CR6","doi-asserted-by":"crossref","first-page":"8878","DOI":"10.1021\/bi00196a004","volume":"33","author":"A. M. Buckle","year":"1994","unstructured":"Buckle, A. M., Schreiber, G., & Fersht, A. R. (1994). Protein-protein recognition: crystal structural analysis of a Barnase-Barstar complex at 2.0-A resolution. Biochemistry, 33: 8878.","journal-title":"Biochemistry"},{"key":"5095783_CR7","doi-asserted-by":"crossref","unstructured":"Bushnell, G. W., Louie, G. V., & Brayer, G. D. (1990). High-resolution three-dimensional structure of horse heart cytochrome c., Journal of Molecular Biology, 214: 585.","DOI":"10.1016\/0022-2836(90)90200-6"},{"key":"5095783_CR8","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1023\/A:1009894810205","volume":"4","author":"B. Cheng","year":"1999","unstructured":"Cheng, B., Choi, K., Lee, J., & Wu, J. (1999). Increasing constraint propagation by redundant modeling: an experience report. Constraints, 4: 167.","journal-title":"Constraints"},{"key":"5095783_CR9","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1023\/A:1011433605905","volume":"6","author":"C. Gaspin","year":"2001","unstructured":"Gaspin, C. (2001). RNA secondary structure determination and representation based on constraints satisfaction. Constraints, 6: 201.","journal-title":"Constraints"},{"key":"5095783_CR10","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1023\/A:1011495004088","volume":"6","author":"D. Gilbert","year":"2001","unstructured":"Gilbert, D., Backofen, R., & Yap, R. (2001). Special issue on bioinformatics. Constraints, 6: 139.","journal-title":"Constraints"},{"key":"5095783_CR11","doi-asserted-by":"crossref","first-page":"928","DOI":"10.1002\/pro.5560070410","volume":"7","author":"B. Goodfellow","year":"1998","unstructured":"Goodfellow, B., Rusnak, F., Moura, I., Domke, T., & Moura, J. J. G. (1998). NMR determination of the global structure of the 113Cd derivative of Desulforedoxin: Investigation of the hydrogen bonding pattern at the metal center. Protein Science, 7: 928.","journal-title":"Protein Science"},{"key":"5095783_CR12","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1006\/jmbi.1997.1284","volume":"273","author":"P. G\u00fcntert","year":"1997","unstructured":"G\u00fcntert, P., Mumenthaler, C., & W\u00fcthrich, K. (1997). Torsion angle dynamics for NMR structure calculation with the new program DYANA. J. Mol. Biol. 273: 283.","journal-title":"J. Mol. Biol"},{"key":"5095783_CR13","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1016\/0022-2836(91)90112-J","volume":"220","author":"H. J. Hecht","year":"1991","unstructured":"Hecht, H. J., Szardenings, M., Collins, J., & Shomburg, D. (1991). Three-dimensional structure of the complexes between bovine chymotrypsinogen *A and two recombinant variants of human pancreatic secretory trypsin inhibitor (*Kazal-Type). J. Mol. Biol., 220: 711.","journal-title":"J. Mol. Biol"},{"key":"5095783_CR14","doi-asserted-by":"crossref","first-page":"22490","DOI":"10.1016\/S0021-9258(18)41556-6","volume":"268","author":"Z. Jia","year":"1993","unstructured":"Jia, Z., Quail, J. W., Waygood, E. B., & Delbaere, L. T. J. (1993). The 2.0 angstroms resolution structure of Escherichia coli histidine-containing phosphocarrier protein HPR: a redetermination, J. Biol. Chem., 268: 22490.","journal-title":"J. Biol. Chem"},{"key":"5095783_CR15","first-page":"289","volume":"1713","author":"L. Krippahl","year":"1999","unstructured":"Krippahl, L., & Barahona, P. (1999). Applying Constraint Programming to Protein Structure Determination, CP99, Lecture Notes in Computer Science, Vol. 1713, page 289. Springer-Verlag.","journal-title":"Applying Constraint Programming to Protein Structure Determination"},{"key":"5095783_CR16","first-page":"67","volume-title":"Proceedings of CP-AI-OR'2001","author":"L. Krippahl","year":"2001","unstructured":"Krippahl, L., Trosset, M., & Barahona, P. (2001). Combining constraint programming and multidimensional scaling to solve distance geometry problems. In Proceedings of CP-AI-OR'2001, Imperial College, Kent UK, 67\u201380."},{"key":"5095783_CR17","unstructured":"Leishman, S., Gray, P. M. D., & Fothergill, I. E. (1994). ASSASSIN: a constraint based assignment system for protein 2D nuclear magnetic resonance. In Milne, R., & Montgomery A., eds. Applications and Innovations in Expert Systems II, (Proceedings of Expert Systems 94, Cambridge), page 263."},{"key":"5095783_CR18","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1107\/S010876818300275X","volume":"39","author":"W. Marquart","year":"1983","unstructured":"Marquart, W., Deisenhofer, Bode J., & Huber, R. (1983). The geometry of the reactive site and of the peptide groups in trypsin, trypsinogen and its complexes with inhibitors, Acta Crystallography, Section B, 39: 480.","journal-title":"Acta Crystallography, Section B"},{"key":"5095783_CR19","doi-asserted-by":"crossref","first-page":"6230","DOI":"10.1093\/emboj\/16.20.6230","volume":"16","author":"M. McCoy","year":"1997","unstructured":"McCoy, M., Stavridi, E. S., Waterman, J. L., Wieczorek, A. M., Opella, S. J., & Halazonetis, T. D. (1997). Hydrophobic side-chain size is a determinant of the three-dimensional structure of the P53 oligomerization domain. EMBO JOURNAL, 16: 6230.","journal-title":"EMBO JOURNAL"},{"key":"5095783_CR20","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1023\/A:1009751730500","volume":"2","author":"P. Revesz","year":"1997","unstructured":"Revesz, P. (1997). Refining restriction enzyme genome maps. Constraints, 2: 361.","journal-title":"Constraints"},{"issue":"2&3","key":"5095783_CR21","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1023\/A:1011437706814","volume":"6","author":"R. Rodo\u0161ek","year":"2001","unstructured":"Rodo\u0161ek, R. (2001). A constraint-based approach for deriving 3-D structures of cyclic polypeptides. Constraints, 6(2&3): 257.","journal-title":"Constraints"},{"key":"5095783_CR22","doi-asserted-by":"crossref","unstructured":"Sam-Haroud, D., & Faltings, B. (1996). Consistency techniques for continuous constraints. Constraints,1.","DOI":"10.1007\/BF00143879"},{"key":"5095783_CR23","first-page":"447","volume":"1","author":"D. E. Zimmerman","year":"1993","unstructured":"Zimmerman, D. E., Kulikowski, C. A., & Montelione, G. T. (1993). A constraint reasoning system for automating sequence-specific resonance assignments from multidimensional protein NMR spectra. Ismb 1: 447.","journal-title":"Ismb"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020577603762.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1020577603762\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020577603762.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T03:54:37Z","timestamp":1752378877000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1020577603762"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":23,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["5095783"],"URL":"https:\/\/doi.org\/10.1023\/a:1020577603762","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}