{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,25]],"date-time":"2024-01-25T15:05:16Z","timestamp":1706195116177},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2008,3,15]],"date-time":"2008-03-15T00:00:00Z","timestamp":1205539200000},"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":[[2008,6]]},"DOI":"10.1007\/s10601-007-9036-6","type":"journal-article","created":{"date-parts":[[2008,3,14]],"date-time":"2008-03-14T06:33:05Z","timestamp":1205476385000},"page":"3-20","source":"Crossref","is-referenced-by-count":15,"title":["Constraint Programming in Structural Bioinformatics"],"prefix":"10.1007","volume":"13","author":[{"given":"Pedro","family":"Barahona","sequence":"first","affiliation":[]},{"given":"Ludwig","family":"Krippahl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,3,15]]},"reference":[{"key":"9036_CR1","unstructured":"Almeida Santos, J. C. (2006). Mining protein Structure Data. M.Sc. thesis, New University of Lisbon."},{"key":"9036_CR2","volume-title":"A Constraint-based Approach to Fast and Exact Structure Prediction in Three-dimensional Protein Models, Constraints, vol. 11, no. 1","author":"R. Backofen","year":"2006","unstructured":"Backofen, R., & Will, S. (2006). A Constraint-based Approach to Fast and Exact Structure Prediction in Three-dimensional Protein Models, Constraints (vol. 11, no 1). Berlin: Springer (January)."},{"key":"9036_CR3","unstructured":"Correia, M., & Barahona, P. (2004). Machine learned heuristics to improve constraint satisfaction, 17th Brazilian Symposium on Artificial Intelligence, SBIA\u201904 (Proceedings). In A. L. C.Balzan, Labidi, & S. (Eds.) LNCS (vol. 3171, (pp. 103\u2013113)). Maranh\u00e3o, Brazil: Springer."},{"key":"9036_CR4","unstructured":"Correia, M., Barahona, P., & Azevedo, F. (2005). CaSPER: A programming environment for development and integration of constraint solvers. In Azevedo, F., et al., eds., Proceedings of the First International Workshop on Constraint Programming Beyond Finite Integer Domains (BeyondFD\u201905), pages 59\u201373."},{"key":"9036_CR5","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1186\/1471-2105-5-186","volume":"5","author":"A. Dal Pal\u00fa","year":"2004","unstructured":"Dal Pal\u00fa, A., Dovier, A., & Fogolari, F. (2004). Constraint logic programming approach to protein structure prediction. BMC Bioinformatics, 5, 186(30 November 2004).","journal-title":"BMC Bioinformatics"},{"issue":"7","key":"9036_CR6","doi-asserted-by":"crossref","first-page":"1731","DOI":"10.1021\/ja026939x","volume":"125","author":"C. Dominguez","year":"2003","unstructured":"Dominguez, C., Boelens, R., & Bonvin, A. M. (2003). HADDOCK: A protein\u2013protein docking approach based on biochemical or biophysical information. J. Chem. Soc., 125(7), 1731\u20131737 Feb 19.","journal-title":"J. Chem. Soc."},{"issue":"2","key":"9036_CR7","doi-asserted-by":"crossref","first-page":"64","DOI":"10.4024\/2040402.jbpc.04.02","volume":"4","author":"F. Fages","year":"2004","unstructured":"Fages, F., Soliman, S., & Chabrier-Rivier, N. (2004). Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. J. Biol. Phys. Chem., 4(2), 64\u201373 October 2004.","journal-title":"J. Biol. Phys. Chem."},{"key":"9036_CR8","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\u2013298.","journal-title":"J. Mol. Biol."},{"key":"9036_CR9","unstructured":"Harvey, W., & Ginsberg, M. (1995). Limited discrepancy search. In Mellish, C., ed., Proceedings of IJCAI, International Joint Conference on Artificial Intelligence. Montreal."},{"key":"9036_CR10","unstructured":"Welcome to Chemera and Bigger. Available at: http:\/\/www.cqfb.fct.unl.pt\/bioin\/chemera\/ ."},{"key":"9036_CR11","doi-asserted-by":"crossref","first-page":"1648","DOI":"10.1002\/cbic.200500082","volume":"6","author":"A. Impagliazzo","year":"2005","unstructured":"Impagliazzo, A., Krippahl, L., & Ubbink, M. (2005). Pseudoazurin: Nitrite reductase interactions. ChemBioChem, 6, 1648\u20131653.","journal-title":"ChemBioChem"},{"issue":"6","key":"9036_CR12","doi-asserted-by":"crossref","first-page":"2195","DOI":"10.1073\/pnas.89.6.2195","volume":"89","author":"E. Katchalski-Katzir","year":"1992","unstructured":"Katchalski-Katzir, E., Shariv, I., Eisenstein, M., Friesem, A. A., Aflalo, C., & Vakser, I. A. (1992). Molecular surface recognition: Determination of geometric fit between proteins and their ligands by correlation techniques. Proc. Nat. Acad. Sci. U. S. A., 89(6), 2195\u20132199 Mar 15.","journal-title":"Proc. Nat. Acad. Sci. U. S. A."},{"key":"9036_CR13","unstructured":"Krippahl, L. (2003) Integrating Protein Structural Information. Ph.D. dissertation, FCT\/UNL."},{"key":"9036_CR14","doi-asserted-by":"crossref","unstructured":"Krippahl, L. (2006) Integrating web resources to model protein structure and function. RW-SISS-\u20192006 (Proceedings). In Barahona, P., ed., Lecture Notes in Computer Science, vol. 4126, pages 184\u2013196. Springer, Berlin, September.","DOI":"10.1007\/11837787_8"},{"key":"9036_CR15","first-page":"289","volume-title":"Applying Constraint Programming to Protein Structure Determination, Principles and Practice of Constraint Programming","author":"L. Krippahl","year":"1999","unstructured":"Krippahl, L., & Barahona, P. (1999). Applying Constraint Programming to Protein Structure Determination, Principles and Practice of Constraint Programming pp. 289\u2013302. Berlin: Springer."},{"key":"9036_CR16","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1023\/A:1020577603762","volume":"7","author":"L. Krippahl","year":"2002","unstructured":"Krippahl, L., & Barahona, P. (2002). PSICO: Solving protein structures with constraint programming and optimisation. Constraints, 7, 317\u2013331.","journal-title":"Constraints"},{"key":"9036_CR17","first-page":"452","volume-title":"Lecture Notes in Computer Science","author":"L. Krippahl","year":"2003","unstructured":"Krippahl, L., & Barahona, P. (2003). Propagating N-ary rigid-body constraints, principles and practice of constraint programming, CP\u20192003 (Proceedings). In F.Rossi (Ed.) Lecture Notes in Computer Science (vol. 2833, (pp. 452\u2013465)). Berlin: Springer October, 2003."},{"key":"9036_CR18","first-page":"373","volume-title":"Lecture Notes in Computer Science","author":"L. Krippahl","year":"2005","unstructured":"Krippahl, L., & Barahona, P. (2005). Applying constraint programming to rigid body protein docking, principles and practice of constraint programming, CP\u20192005 (Proceedings). In P. van Beek (Ed.) Lecture Notes in Computer Science (vol. 3709, (pp. 373\u2013387)). Berlin: Springer October."},{"issue":"1","key":"9036_CR19","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1002\/prot.10387","volume":"52","author":"L. Krippahl","year":"2003","unstructured":"Krippahl, L., Moura, J. J., & Palma, P. N. (2003). Modeling protein complexes with BiGGER. Proteins, 52(1), 19\u201323.","journal-title":"Proteins"},{"key":"9036_CR20","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1002\/(SICI)1097-0134(19990515)35:3<364::AID-PROT11>3.0.CO;2-4","volume":"V35\u20133","author":"G. Moont","year":"1999","unstructured":"Moont, G., Gabb, H. A., & Sternberg, M. J. E. (1999). Use of pair potentials across protein interfaces in screening predicted docked complexes. Proteins, V35\u20133, 364\u2013373.","journal-title":"Proteins"},{"key":"9036_CR21","doi-asserted-by":"crossref","first-page":"2530","DOI":"10.1021\/bi992306s","volume":"39","author":"X. Morelli","year":"2000","unstructured":"Morelli, X., Dolla, A., Czjzek, M., Palma, P. N., Blasco, F., Krippahl, L., et al. (2000). Heteronuclear NMR and soft docking: an experimental approach for a structural model of the cytochrome c553-ferredoxin complex. Biochemistry, 39, 2530\u20132537.","journal-title":"Biochemistry"},{"key":"9036_CR22","doi-asserted-by":"crossref","first-page":"2131","DOI":"10.1110\/ps.07501","volume":"10","author":"X. Morelli","year":"2001","unstructured":"Morelli, X., Palma, P. N., Guerlesquin, F., & Rigby, A. C. (2001). A novel approach for assessing macromolecular complexes combining soft-docking calculations with NMR data. Protein Sci., 10, 2131\u20132137.","journal-title":"Protein Sci."},{"key":"9036_CR23","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1002\/(SICI)1097-0134(20000601)39:4<372::AID-PROT100>3.0.CO;2-Q","volume":"39","author":"P. N. Palma","year":"2000","unstructured":"Palma, P. N., Krippahl, L., Wampler, J. E., & Moura, J. J. G. (2000). BiGGER: A new (soft) docking algorithm for predicting protein interactions. Proteins, 39, 372\u2013384.","journal-title":"Proteins"},{"issue":"21","key":"9036_CR24","doi-asserted-by":"crossref","first-page":"4585","DOI":"10.1016\/j.febslet.2005.07.027","volume":"579","author":"P. N. Palma","year":"2005","unstructured":"Palma, P. N., Lagoutte, B., Krippahl, L., Moura, J. J., & Guerlesquin, F. (2005). Synechocystis ferredoxin\/ferredoxin\u2014NADP(+)-reductase\/NADP+ complex: Structural model obtained by NMR-restrained docking. FEBS Lett, 579(21), 4585\u20134590 Aug 29.","journal-title":"FEBS Lett"},{"issue":"7","key":"9036_CR25","doi-asserted-by":"crossref","first-page":"2046","DOI":"10.1021\/bi027125w","volume":"42","author":"G. W. Pettigrew","year":"2003","unstructured":"Pettigrew, G. W., Goodhew, C. F., Cooper, A., Nutley, M., Jumel, K., & Harding, S. E. (2003). The electron transfer complexes of cytochrome c peroxidase from Paracoccus denitrificans. Biochemistry, 42(7), 2046\u20132055 Feb 25.","journal-title":"Biochemistry"},{"key":"9036_CR26","doi-asserted-by":"crossref","first-page":"11968","DOI":"10.1021\/bi034829c","volume":"42","author":"G. W. Pettigrew","year":"2003","unstructured":"Pettigrew, G. W., Pauleta, S. R., Goodhew, C. F., Cooper, A., Nutley, M., Jumel, K., et al. (2003). electron transfer complexes of cytochrome c peroxidase from Paracoccus denitrificans containing more than one cytochrome. Biochemistry, 42, 11968\u201311981.","journal-title":"Biochemistry"},{"issue":"16","key":"9036_CR27","first-page":"11383","volume":"274","author":"G. W. Pettigrew","year":"1999","unstructured":"Pettigrew, G. W., Prazeres, S., Costa, C., Palma, N., Krippahl, L., Moura, I., et al. (1999). The structure of an electron transfer complex containing a cytochrome c and a peroxidase. J. Am. Chem. Soc., 274(16), 11383\u201311389 Apr 16.","journal-title":"J. Am. Chem. Soc."},{"key":"9036_CR28","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1006\/jmbi.1997.0959","volume":"268","author":"K. T. Simons","year":"1997","unstructured":"Simons, K. T., Kooperberg, C., Huang, E., & Baker, D. (1997). Assembly of protein tertiary structures from fragments with similar local sequences using simulated annealing and Bayesian scoring functions. J. Mol. Biol., 268, 209\u2013225.","journal-title":"J. Mol. Biol."},{"issue":"7","key":"9036_CR29","doi-asserted-by":"crossref","first-page":"1267","DOI":"10.1089\/cmb.2006.13.1267","volume":"13","author":"L. Wang","year":"2006","unstructured":"Wang, L., Mettu, R., & Donald, B. (2006). A polynomial-time algorithm for de novo protein backbone structure determination from nuclear magnetic resonance data. J. Comp. Biol., 13(7), 1267\u20131288.","journal-title":"J. Comp. Biol."},{"issue":"4","key":"9036_CR30","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/99.641604","volume":"4","author":"H. J. Wolfson","year":"1997","unstructured":"Wolfson, H. J., & Rigoutsos, I. (1997). Geometric hashing: An overview. IEEE Computational Science & Engineering Archive, 4(4), 10\u201321 (October 1997).","journal-title":"IEEE Computational Science & Engineering Archive"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-007-9036-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-007-9036-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-007-9036-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:14:14Z","timestamp":1559243654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-007-9036-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,15]]},"references-count":30,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["9036"],"URL":"https:\/\/doi.org\/10.1007\/s10601-007-9036-6","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,3,15]]}}}