{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T11:20:29Z","timestamp":1775560829574,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642335570","type":"print"},{"value":"9783642335587","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33558-7_60","type":"book-chapter","created":{"date-parts":[[2012,10,3]],"date-time":"2012-10-03T02:32:47Z","timestamp":1349231567000},"page":"840-849","source":"Crossref","is-referenced-by-count":10,"title":["Computational Protein Design as a Cost Function Network Optimization Problem"],"prefix":"10.1007","author":[{"given":"David","family":"Allouche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seydou","family":"Traor\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isabelle","family":"Andr\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"de Givry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Katsirelos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophie","family":"Barbe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Schiex","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4096","key":"60_CR1","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1126\/science.181.4096.223","volume":"181","author":"C. Anfinsen","year":"1973","unstructured":"Anfinsen, C.: Principles that govern the folding of protein chains. Science\u00a0181(4096), 223\u2013253 (1973)","journal-title":"Science"},{"key":"60_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/3-540-36607-5_3","volume-title":"Recent Advances in Constraints","author":"S. Bistarelli","year":"2003","unstructured":"Bistarelli, S., Faltings, B., Neagu, N.: Interchangeability in Soft CSPs. In: O\u2019Sullivan, B. (ed.) Constraint Solving and CLP. LNCS (LNAI), vol.\u00a02627, pp. 31\u201346. Springer, Heidelberg (2003)"},{"issue":"2","key":"60_CR3","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.sbi.2007.03.006","volume":"17","author":"F. Boas","year":"2007","unstructured":"Boas, F., Harbury, P.: Potential energy functions for protein design. Current Opinion in Structural Biology\u00a017(2), 199\u2013204 (2007)","journal-title":"Current Opinion in Structural Biology"},{"key":"60_CR4","volume-title":"Amber 9","author":"D. Case","year":"2006","unstructured":"Case, D., Darden, T., Cheatham III, T., Simmerling, C., Wang, J., Duke, R., Luo, R., Merz, K., Pearlman, D., Crowley, M., Walker, R.C., Zhang, W., Wang, B., Hayik, S., Roitberg, A., Seabra, G., Wong, K.F., Paesani, F., Wu, X., Brozell, S., Tsui, V., Gohlke, H., Yang, L., Tan, C., Mongan, J., Hornak, V., Cui, G., Beroza, P., Mathews, D.H., Schafmeister, C., Ross, W.S., Kollman, P.A.: Amber 9. University of California, San Francisco (2006)"},{"key":"60_CR5","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1016\/j.artint.2010.02.001","volume":"174","author":"M.C. Cooper","year":"2010","unstructured":"Cooper, M.C., de Givry, S., Sanchez, M., Schiex, T., Zytnicki, M., Werner, T.: Soft arc consistency revisited. Artificial Intelligence\u00a0174, 449\u2013478 (2010)","journal-title":"Artificial Intelligence"},{"key":"60_CR6","unstructured":"Cooper, M.C., de Givry, S., Schiex, T.: Optimal soft arc consistency. In: Proc. of IJCAI 2007, Hyderabad, India, pp. 68\u201373 (January 2007)"},{"issue":"1-2","key":"60_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(96)00018-5","volume":"90","author":"M.C. Cooper","year":"1997","unstructured":"Cooper, M.C.: Fundamental properties of neighbourhood substitution in constraint satisfaction problems. Artificial Intelligence\u00a090(1-2), 1\u201324 (1997)","journal-title":"Artificial Intelligence"},{"issue":"5","key":"60_CR8","doi-asserted-by":"publisher","first-page":"895","DOI":"10.1002\/pro.5560050511","volume":"5","author":"B. Dahiyat","year":"1996","unstructured":"Dahiyat, B., Mayo, S.: Protein design automation. Protein Science\u00a05(5), 895\u2013903 (1996)","journal-title":"Protein Science"},{"issue":"6369","key":"60_CR9","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1038\/356539a0","volume":"356","author":"J. Desmet","year":"1992","unstructured":"Desmet, J., Maeyer, M., Hazes, B., Lasters, I.: The dead-end elimination theorem and its use in protein side-chain positioning. Nature\u00a0356(6369), 539\u2013542 (1992)","journal-title":"Nature"},{"issue":"1","key":"60_CR10","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1002\/prot.10131","volume":"48","author":"J. Desmet","year":"2002","unstructured":"Desmet, J., Spriet, J., Lasters, I.: Fast and accurate side-chain topology and energy refinement (FASTER) as a new method for protein structure optimization. Proteins: Structure, Function, and Bioinformatics\u00a048(1), 31\u201343 (2002)","journal-title":"Proteins: Structure, Function, and Bioinformatics"},{"key":"60_CR11","volume-title":"Structure and mechanism in protein science: a guide to enzyme catalysis and protein folding","author":"A. Fersht","year":"1999","unstructured":"Fersht, A.: Structure and mechanism in protein science: a guide to enzyme catalysis and protein folding. WH Freemean and Co., New York (1999)"},{"issue":"14","key":"60_CR12","doi-asserted-by":"crossref","first-page":"e174","DOI":"10.1093\/bioinformatics\/btl220","volume":"22","author":"I. Georgiev","year":"2006","unstructured":"Georgiev, I., Lilien, R., Donald, B.: Improved pruning algorithms and divide-and-conquer strategies for dead-end elimination, with application to protein design. Bioinformatics 22(14), e174\u2013e183 (2006)","journal-title":"Bioinformatics"},{"issue":"10","key":"60_CR13","doi-asserted-by":"publisher","first-page":"1527","DOI":"10.1002\/jcc.20909","volume":"29","author":"I. Georgiev","year":"2008","unstructured":"Georgiev, I., Lilien, R., Donald, B.: The minimized dead-end elimination criterion and its application to protein redesign in a hybrid scoring and search algorithm for computing partition functions over molecular ensembles. Journal of Computational Chemistry\u00a029(10), 1527\u20131542 (2008)","journal-title":"Journal of Computational Chemistry"},{"issue":"5","key":"60_CR14","doi-asserted-by":"publisher","first-page":"1335","DOI":"10.1016\/S0006-3495(94)80923-3","volume":"66","author":"R. Goldstein","year":"1994","unstructured":"Goldstein, R.: Efficient rotamer elimination applied to protein side-chains and related spin glasses. Biophysical Journal\u00a066(5), 1335\u20131340 (1994)","journal-title":"Biophysical Journal"},{"issue":"1894","key":"60_CR15","doi-asserted-by":"publisher","first-page":"1727","DOI":"10.1098\/rsta.2009.0012","volume":"367","author":"I. Grunwald","year":"2009","unstructured":"Grunwald, I., Rischka, K., Kast, S., Scheibel, T., Bargel, H.: Mimicking biopolymers on a molecular scale: nano (bio) technology based on engineered proteins. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences\u00a0367(1894), 1727\u20131747 (2009)","journal-title":"Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences"},{"key":"60_CR16","unstructured":"Harvey, W.D., Ginsberg, M.L.: Limited discrepency search. In: Proc. of the 14th IJCAI, Montr\u00e9al, Canada (1995)"},{"issue":"51","key":"60_CR17","doi-asserted-by":"publisher","first-page":"19824","DOI":"10.1021\/jp961710n","volume":"100","author":"G. Hawkins","year":"1996","unstructured":"Hawkins, G., Cramer, C., Truhlar, D.: Parametrized models of aqueous free energies of solvation based on pairwise descreening of solute atomic charges from a dielectric medium. The Journal of Physical Chemistry\u00a0100(51), 19824\u201319839 (1996)","journal-title":"The Journal of Physical Chemistry"},{"issue":"3","key":"60_CR18","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1038\/nchembio.777","volume":"8","author":"S. Khare","year":"2012","unstructured":"Khare, S., Kipnis, Y., Takeuchi, R., Ashani, Y., Goldsmith, M., Song, Y., Gallaher, J., Silman, I., Leader, H., Sussman, J., et al.: Computational redesign of a mononuclear zinc metalloenzyme for organophosphate hydrolysis. Nature Chemical Biology\u00a08(3), 294\u2013300 (2012)","journal-title":"Nature Chemical Biology"},{"issue":"7","key":"60_CR19","doi-asserted-by":"publisher","first-page":"1028","DOI":"10.1093\/bioinformatics\/bti144","volume":"21","author":"C. Kingsford","year":"2005","unstructured":"Kingsford, C., Chazelle, B., Singh, M.: Solving and analyzing side-chain positioning problems using linear and integer programming. Bioinformatics\u00a021(7), 1028\u20131039 (2005)","journal-title":"Bioinformatics"},{"key":"60_CR20","doi-asserted-by":"crossref","unstructured":"Koster, A., van Hoesel, S., Kolen, A.: Solving frequency assignment problems via tree-decomposition. Tech. Rep. RM\/99\/011, Universiteit Maastricht, Maastricht, The Netherlands (1999)","DOI":"10.1007\/3-540-46784-X_32"},{"issue":"19","key":"60_CR21","doi-asserted-by":"publisher","first-page":"10383","DOI":"10.1073\/pnas.97.19.10383","volume":"97","author":"B. Kuhlman","year":"2000","unstructured":"Kuhlman, B., Baker, D.: Native protein sequences are close to optimal for their structures. Proceedings of the National Academy of Sciences\u00a097(19), 10383 (2000)","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"60_CR22","unstructured":"Larrosa, J., de Givry, S., Heras, F., Zytnicki, M.: Existential arc consistency: getting closer to full arc consistency in weighted CSPs. In: Proc. of the 19th IJCAI, Edinburgh, Scotland, pp. 84\u201389 (August 2005)"},{"key":"60_CR23","unstructured":"Larrosa, J., Meseguer, P., Schiex, T., Verfaillie, G.: Reversible DAC and other improvements for solving max-CSP. In: Proc. of AAAI 1998, Madison, WI (July 1998)"},{"issue":"2","key":"60_CR24","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1002\/(SICI)1097-0134(19981101)33:2<227::AID-PROT7>3.0.CO;2-F","volume":"33","author":"A. Leach","year":"1998","unstructured":"Leach, A., Lemon, A., et al.: Exploring the conformational space of protein side chains using dead-end elimination and the A* algorithm. Proteins Structure Function and Genetics\u00a033(2), 227\u2013239 (1998)","journal-title":"Proteins Structure Function and Genetics"},{"issue":"1","key":"60_CR25","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1006\/jmbi.2000.4424","volume":"307","author":"L. Looger","year":"2001","unstructured":"Looger, L., Hellinga, H.: Generalized dead-end elimination algorithms make large-scale protein side-chain structure prediction tractable: implications for protein design and structural genomics1. Journal of Molecular Biology\u00a0307(1), 429\u2013445 (2001)","journal-title":"Journal of Molecular Biology"},{"issue":"3","key":"60_CR26","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1002\/1097-0134(20000815)40:3<389::AID-PROT50>3.0.CO;2-2","volume":"40","author":"S. Lovell","year":"2000","unstructured":"Lovell, S., Word, J., Richardson, J., Richardson, D.: The penultimate rotamer library. Proteins: Structure, Function, and Bioinformatics\u00a040(3), 389\u2013408 (2000)","journal-title":"Proteins: Structure, Function, and Bioinformatics"},{"issue":"2","key":"60_CR27","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.cbpa.2010.11.019","volume":"15","author":"B. Nestl","year":"2011","unstructured":"Nestl, B., Nebel, B., Hauer, B.: Recent progress in industrial biocatalysis. Current Opinion in Chemical Biology\u00a015(2), 187\u2013193 (2011)","journal-title":"Current Opinion in Chemical Biology"},{"key":"60_CR28","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1038\/301200a0","volume":"301","author":"C. Pabo","year":"1983","unstructured":"Pabo, C.: Molecular technology: designing proteins and peptides. Nature\u00a0301, 200 (1983)","journal-title":"Nature"},{"issue":"12","key":"60_CR29","doi-asserted-by":"publisher","first-page":"991","DOI":"10.1038\/nmeth1207-991","volume":"4","author":"S. Peisajovich","year":"2007","unstructured":"Peisajovich, S., Tawfik, D.: Protein engineers turned evolutionists. Nature Methods\u00a04(12), 991\u2013994 (2007)","journal-title":"Nature Methods"},{"issue":"11","key":"60_CR30","doi-asserted-by":"publisher","first-page":"999","DOI":"10.1002\/1096-987X(200008)21:11<999::AID-JCC9>3.0.CO;2-A","volume":"21","author":"N. Pierce","year":"2000","unstructured":"Pierce, N., Spriet, J., Desmet, J., Mayo, S.: Conformational splitting: A more powerful criterion for dead-end elimination. Journal of Computational Chemistry\u00a021(11), 999\u20131009 (2000)","journal-title":"Journal of Computational Chemistry"},{"issue":"10","key":"60_CR31","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1093\/protein\/15.10.779","volume":"15","author":"N. Pierce","year":"2002","unstructured":"Pierce, N., Winfree, E.: Protein design is NP-hard. Protein Engineering\u00a015(10), 779\u2013782 (2002)","journal-title":"Protein Engineering"},{"issue":"5","key":"60_CR32","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1016\/j.copbio.2011.03.004","volume":"22","author":"J. Pleiss","year":"2011","unstructured":"Pleiss, J.: Protein design in metabolic engineering and synthetic biology. Current Opinion in Biotechnology\u00a022(5), 611\u2013617 (2011)","journal-title":"Current Opinion in Biotechnology"},{"issue":"6","key":"60_CR33","doi-asserted-by":"publisher","first-page":"1106","DOI":"10.1110\/ps.9.6.1106","volume":"9","author":"K. Raha","year":"2000","unstructured":"Raha, K., Wollacott, A., Italia, M., Desjarlais, J.: Prediction of amino acid sequence from structure. Protein Science\u00a09(6), 1106\u20131119 (2000)","journal-title":"Protein Science"},{"key":"60_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/3-540-45349-0_30","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"T. Schiex","year":"2000","unstructured":"Schiex, T.: Arc Consistency for Soft Constraints. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 411\u2013424. Springer, Heidelberg (2000)"},{"key":"60_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/3-540-45578-7_33","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"M.T. Swain","year":"2001","unstructured":"Swain, M.T., Kemp, G.J.L.: A CLP Approach to the Protein Side-Chain Placement Problem. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, pp. 479\u2013493. Springer, Heidelberg (2001)"},{"issue":"3","key":"60_CR36","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1006\/jmbi.2000.3758","volume":"299","author":"C. Voigt","year":"2000","unstructured":"Voigt, C., Gordon, D., Mayo, S.: Trading accuracy for speed: a quantitative comparison of search algorithms in protein sequence design. Journal of Molecular Biology\u00a0299(3), 789\u2013803 (2000)","journal-title":"Journal of Molecular Biology"},{"key":"60_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-59479-5_22","volume-title":"Constraint Processing","author":"R.J. Wallace","year":"1995","unstructured":"Wallace, R.J.: Directed Arc Consistency Preprocessing. In: Meyer, M. (ed.) Constraint Processing. LNCS, vol.\u00a0923, pp. 121\u2013137. Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33558-7_60","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T03:29:19Z","timestamp":1557286159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33558-7_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642335570","9783642335587"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33558-7_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}