D. Allouche, S. Traoré, I. André, S. De-givry, G. Katsirelos et al., Computational Protein Design as a Cost Function Network Optimization Problem, Proceedings of the 18th Int. Conf. on Principles and Practice of Constraint Programming, pp.840-849, 2012.
DOI : 10.1007/978-3-642-33558-7_60
URL : https://hal.archives-ouvertes.fr/hal-01191320

C. Bessì-ere, J. C. Régin, R. H. Yap, and Y. Zhang, An optimal coarse-grained arc consistency algorithm, Artificial Intelligence, vol.165, issue.2, pp.165-185, 2005.
DOI : 10.1016/j.artint.2005.02.004

M. Cooper and T. Schiex, Arc consistency for soft constraints, Artificial Intelligence, vol.154, issue.1-2, pp.199-227, 2004.
DOI : 10.1016/j.artint.2003.09.002

A. Dovier, A. Formisano, and E. Pontelli, A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems, Proc of International Conference on Logic Programming, pp.67-82, 2005.
DOI : 10.1007/11562931_8

P. Gainza, K. Roberts, I. Georgiev, R. Lilien, D. Keedy et al., osprey, Methods Enzymol, vol.523, p.87, 2013.
DOI : 10.1016/B978-0-12-394292-0.00005-9

P. Gainza, K. E. Roberts, and B. R. Donald, Protein Design Using Continuous Rotamers, PLoS Computational Biology, vol.285, issue.1, p.2012
DOI : 10.1371/journal.pcbi.1002335.s002
URL : http://doi.org/10.1371/journal.pcbi.1002335

M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub, On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers, Logic Programming, pp.250-264, 2009.
DOI : 10.1007/978-3-540-24605-3_37

M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub, Clingo= asp+ control: Preliminary report. arXiv preprint, 2014.

J. F. and R. Gouvela, Protein design using answer set programming, Master Dissertation Instituto superior tecnico Lisboa, 2012.

A. Mark, D. A. Hallen, B. R. Keedy, and . Donald, Dead-end elimination with perturbations (deeper): A provable protein design algorithm with continuous sidechain and backbone flexibility, Proteins: Structure, Function, and Bioinformatics, vol.81, issue.1, pp.18-39, 2013.

X. Hu, H. Hu, D. N. Beratan, and W. Yang, A gradient-directed Monte Carlo approach for protein design, Journal of Computational Chemistry, vol.6, issue.11, pp.312164-2168, 2010.
DOI : 10.1002/jcc.21506

T. David and . Jones, De novo protein design using pairwise potentials and a genetic algorithm, Protein Science, vol.3, issue.4, pp.567-574, 1994.

R. Dunbrack, . Jr, and M. Karplus, Backbone-dependent Rotamer Library for Proteins Application to Side-chain Prediction, Journal of Molecular Biology, vol.230, issue.2, pp.543-574, 1993.
DOI : 10.1006/jmbi.1993.1170

K. W. Kaufmann, G. H. Lemmon, S. L. Deluca, J. H. Sheehan, and J. Meiler, Practically useful: What the rosetta protein modeling suite can do for you, Biochemistry, issue.14, pp.492987-2998, 2010.

G. Krivov, M. Shapovalov, and R. Dunbrack, Improved prediction of protein side-chain conformations with SCWRL4, Proteins: Structure, Function, and Bioinformatics, vol.3, issue.Pt 1, pp.778-795, 2009.
DOI : 10.1002/prot.22488

J. Larrosa and T. Schiex, Solving weighted CSP by maintaining arc consistency, Artificial Intelligence, vol.159, issue.1-2, pp.1-26, 2004.
DOI : 10.1016/j.artint.2004.05.004

R. Andrew, . Leach, P. Andrew, and . Lemon, Exploring the conformational space of protein side chains using dead-end elimination and the A* algorithm, Proteins Structure Function and Genetics, vol.33, issue.2, pp.227-239, 1998.

A. Leaver-fay, M. Tyka, S. M. Lewis, and O. F. Lange, Rosetta3, Methods in Enzymology, vol.487, pp.545-574, 2011.
DOI : 10.1016/B978-0-12-381270-4.00019-6

V. Lifschitz, What is answer set programming?, pp.1594-1597, 2008.

J. Vincent, . Martin, J. Douglas, . Pitera, T. Sydnor et al., Engineering a mevalonate pathway in escherichia coli for production of terpenoids, Nature biotechnology, vol.21, issue.7, pp.796-802, 2003.

N. Ollikainen, E. Sentovich, C. Coelho, A. Kuehlmann, and T. Kortemme, Sat-based protein design, ICCAD, pp.128-135, 2009.

S. Peisajovich and D. Tawfik, Protein engineers turned evolutionists, Nature Methods, vol.103, issue.12, pp.991-994, 2007.
DOI : 10.1038/nmeth1207-991

A. Niles, E. Pierce, and . Winfree, Protein design is np-hard, Protein Engineering, vol.15, issue.10, pp.779-782, 2002.

J. Pleiss, Protein design in metabolic engineering and synthetic biology, Current Opinion in Biotechnology, vol.22, issue.5, pp.611-617, 2011.
DOI : 10.1016/j.copbio.2011.03.004

H. Privett, G. Kiss, T. Lee, R. Blomberg, R. Chica et al., Iterative approach to computational enzyme design, Proceedings of the National Academy of Sciences, vol.109, issue.10, pp.3790-3795, 2012.
DOI : 10.1073/pnas.1118082108

P. B. Luis, J. Scott, J. R. Chahine, and . Ruggiero, Using genetic algorithm to design protein sequence, Appl.Math.Comput, vol.200, issue.1, pp.1-9, 2008.

V. Maxim, R. L. Shapovalov, and . Dunbrack-jr, A smoothed backbonedependent rotamer library for proteins derived from adaptive kernel density estimates and regressions, Structure, vol.19, issue.6, pp.844-858, 2011.

S. Traoré, D. Allouche, I. André, S. De-givry, G. Katsirelos et al., A new framework for computational protein design through cost function network optimization, Bioinformatics, vol.29, issue.17, pp.292129-292165, 2013.
DOI : 10.1093/bioinformatics/btt374

Y. Zhu, Mixed-Integer Linear Programming Algorithm for a Computational Protein Design Problem, Industrial & Engineering Chemistry Research, vol.46, issue.3, pp.839-845, 2007.
DOI : 10.1021/ie0605985