{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:50:09Z","timestamp":1725511809412},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540696087"},{"type":"electronic","value":"9783540696117"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/978-3-540-69611-7_2","type":"book-chapter","created":{"date-parts":[[2007,4,26]],"date-time":"2007-04-26T05:40:18Z","timestamp":1177566018000},"page":"33-49","source":"Crossref","is-referenced-by-count":0,"title":["A Constraint Programming Approach to Bioinformatics Structural Problems"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Barahona","sequence":"first","affiliation":[]},{"given":"Ludwig","family":"Krippahl","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Chabrier, N., Fages, F.: The biochemical abstract machine BIOCHAM. In: Christophe, C., Lenhof, H.P., Sagot, M.F. (eds.) Proceedings of the European Conference on Computational Biology, ECCB 2003, Paris, France, pp. 597\u2013599 (September 2003), System available at: http:\/\/contraintes.inria.fr\/BIOCHAM"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/11564751_33","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"L. Michel","year":"2005","unstructured":"Michel, L., Van Hentenryck, P.: Parallel Local Search in Comet. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709, pp. 430\u2013444. Springer, Heidelberg (2005)"},{"issue":"1","key":"2_CR3","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","volume":"25","author":"A.K. Mackworth","year":"1985","unstructured":"Mackworth, A.K., Freuder, E.C.: The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial Intelligence\u00a025(1), 65\u201373 (1985)","journal-title":"Artificial Intelligence"},{"key":"2_CR4","unstructured":"Beldiceanu, N.: Global Constraint Catalog, http:\/\/www.emn.fr\/x-info\/sdemasse\/gccat\/"},{"key":"2_CR5","unstructured":"R\u00e9gin, J.-C.: A Filtering Algorithm for Constraints of Difference in CSPs. In: Proceedings of AAAI 1994, pp. 362\u2013367 (1994)"},{"key":"2_CR6","unstructured":"http:\/\/www.cqfb.fct.unl.pt\/bioin\/chemera\/"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Backhofen, R., Will, S.: A Constraint-Based Approach to Fast and Exact Structure Prediction in Three-Dimensional Protein Models. Constraints\u00a011(1) (2006)","DOI":"10.1007\/s10601-006-6848-8"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Dovier, A., Burato, M., Fogolari, F.: Using Secondary Structure Information for Protein Folding in CLP(FD). In: Procs. Workshop on Functional and Constraint Logic Programming. ENTCS, vol.\u00a076 (2002)","DOI":"10.1016\/S1571-0661(04)80787-4"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1023\/A:1020577603762","volume":"7","author":"L. Krippahl","year":"2002","unstructured":"Krippahl, L., Barahona, P.: PSICO: Solving Protein Structures with Constraint Programming and Optimisation. Constraints\u00a07, 317\u2013331 (2002)","journal-title":"Constraints"},{"key":"2_CR10","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":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1007\/978-3-540-45193-8_31","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"L. Krippahl","year":"2003","unstructured":"Krippahl, L., Barahona, P.: Propagating N-Ary Rigid-Body Constraints, Principles and Practice of Constraint Programming. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 452\u2013465. Springer, Heidelberg (2003)"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1023\/A:1020577603762","volume":"7","author":"L. Krippahl","year":"2002","unstructured":"Krippahl, L., Barahona, P.: PSICO: Solving Protein Structures with Constraint Programming and Optimisation. Constraints\u00a07, 317\u2013331 (2002)","journal-title":"Constraints"},{"key":"2_CR13","doi-asserted-by":"publisher","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.: BiGGER: A new (soft) docking algorithm for predicting protein interactions. Proteins: Structure, Function, and Genetics\u00a039, 372\u2013384 (2000)","journal-title":"Proteins: Structure, Function, and Genetics"},{"issue":"1","key":"2_CR14","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1002\/prot.10387","volume":"52","author":"L. Krippahl","year":"2003","unstructured":"Krippahl, L., Moura, J.J., Palma, P.N.: Modeling protein complexes with BiGGER. Proteins: Structure, Function, and Genetics\u00a052(1), 19\u201323 (2003)","journal-title":"Proteins: Structure, Function, and Genetics"},{"issue":"7","key":"2_CR15","doi-asserted-by":"publisher","first-page":"1731","DOI":"10.1021\/ja026939x","volume":"125","author":"C. Dominguez","year":"2003","unstructured":"Dominguez, C., Boelens, R., Bonvin, A.M.: HADDOCK: a protein-protein docking approach based on biochemical or biophysical information. J. Am. Chem. Soc.\u00a0125(7), 1731\u20131737 (2003)","journal-title":"J. Am. Chem. Soc."},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1002\/(SICI)1097-0134(19990515)35:3<364::AID-PROT11>3.0.CO;2-4","volume":"35-3","author":"G. Moont","year":"1999","unstructured":"Moont, G., Gabb, H.A., Sternberg, M.J.E.: Use of Pair Potentials Across Protein Interfaces in Screening Predicted Docked Complexes Proteins. Structure, Function, and Genetics\u00a035-3, 364\u2013373 (1999)","journal-title":"Structure, Function, and Genetics"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/11564751_29","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"L. Krippahl","year":"2005","unstructured":"Krippahl, L., Barahona, P.: Applying Constraint Programming to Rigid Body Protein Docking, Principles and Practice of Constraint Programming. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709, pp. 373\u2013387. Springer, Heidelberg (2005)"},{"issue":"6","key":"2_CR18","doi-asserted-by":"publisher","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. Natl. Acad. Sci. USA\u00a089(6), 2195\u20132199 (1992)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"issue":"7","key":"2_CR19","doi-asserted-by":"publisher","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.: The electron transfer complexes of cytochrome c peroxidase from Paracoccus denitrificans. Biochemistry\u00a042(7), 2046\u20132055 (2003)","journal-title":"Biochemistry"},{"issue":"16","key":"2_CR20","doi-asserted-by":"publisher","first-page":"11383","DOI":"10.1074\/jbc.274.16.11383","volume":"274","author":"G.W. Pettigrew","year":"1999","unstructured":"Pettigrew, G.W., Prazeres, S., Costa, C., Palma, N., Krippahl, L., Moura, I., Moura, J.: The structure of an electron transfer complex containing a cytochrome c and a peroxidase. J. Biol. Chem.\u00a0274(16), 11383\u201311389 (1999)","journal-title":"J. Biol. Chem."},{"key":"2_CR21","doi-asserted-by":"publisher","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., Harding, S.E., Costa, C., Krippahl, L., Moura, I., Moura, J.: Electron Transfer Complexes of Cytochrome c Peroxidase from Paracoccus denitrificans Containing More than One Cytochrome. Biochemistry\u00a042, 11968\u201311981 (2003)","journal-title":"Biochemistry"},{"key":"2_CR22","doi-asserted-by":"publisher","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., Moura, J.J., Guerlesquin, F.: Heteronuclear NMR and soft docking: an experimental approach for a structural model of the cytochrome c553-ferredoxin complex. Biochemistry\u00a039, 2530\u20132537 (2000)","journal-title":"Biochemistry"},{"key":"2_CR23","doi-asserted-by":"publisher","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.: A novel approach for assessing macromolecular complexes combining soft-docking calculations with NMR data. Protein. Sci.\u00a010, 2131\u20132137 (2001)","journal-title":"Protein. Sci."},{"issue":"21","key":"2_CR24","doi-asserted-by":"publisher","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.: Synechocystis ferredoxin \/ ferredoxin - NADP(+)-reductase\/NADP+ complex: Structural model obtained by NMR-restrained docking. FEBS Lett.\u00a0579(21), 4585\u20134590 (2005)","journal-title":"FEBS Lett."},{"key":"2_CR25","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.: Pseudoazurin: Nitrite Reductase Interactions. Chem.Bio.Chem.\u00a06, 1648\u20131653 (2005)","journal-title":"Chem.Bio.Chem."},{"key":"2_CR26","doi-asserted-by":"publisher","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.: Torsion angle dynamics for NMR structure calculation with the new program DYANA. J. Mol. Biol.\u00a0273, 283\u2013298 (1997)","journal-title":"J. Mol. Biol."},{"key":"2_CR27","unstructured":"Correia, M., Barahona, P., Azevedo, F.: CaSPER: A Programming Environment for Development and Integration of Constraint Solvers. In: Azevedo et al. (eds.) Proceedings of the First International Workshop on Constraint Programming Beyond Finite Integer Domains (BeyondFD 2005), pp. 59\u201373 (2005)"},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/11837787_8","volume-title":"Reasoning Web","author":"L. Krippahl","year":"2006","unstructured":"Krippahl, L.: Integrating Web Resources to Model Protein Structure and Function. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol.\u00a04126, pp. 184\u2013196. Springer, Heidelberg (2006)"},{"key":"2_CR29","unstructured":"Almeida Santos, J.C.: Mining Protein Structure Data, M.Sc. Thesis, New University of Lisbon (2006)"},{"key":"2_CR30","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-540-28645-5_11","volume-title":"Advances in Artificial Intelligence \u2013 SBIA 2004","author":"M. Correia","year":"2004","unstructured":"Correia, M., Barahona, P.: Machine Learned Heuristics to Improve Constraint Satisfaction. In: Bazzan, A.L.C., Labidi, S. (eds.) SBIA 2004. LNCS (LNAI), vol.\u00a03171, pp. 103\u2013113. Springer, Heidelberg (2004)"},{"key":"2_CR31","unstructured":"Harvey, W., Ginsberg, M.: Limited Discrepancy search. In: Mellish, C. (ed.) Proceedings of IJCAI, International Joint Conference on Artificial Intelligence, Montreal (1995)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69611-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:01:45Z","timestamp":1605744105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69611-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540696087","9783540696117"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69611-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}