S. De-givry,

G. Katsirelos,

M. Zytnicki, PhD, INRA) D. Allouche (INRA)

H. Nguyen,

(. Cooper and . Irit,

M. Sanchez,

E. Rollon,

(. Meseguer, . Csic, and . Spain,

(. Verfaillie and R. Onera,

J. H. Lee,

(. Bessiere, . Limm, ). Montpellier, . Jp, and . Métivier,

(. Loudni and . Greyc,

(. Fontaine and C. Greyc,

, References I

S. Balakrishnan, Learning generative models for protein fold families, Proteins: Structure, Function, and Bioinformatics, vol.79, pp.1061-1078, 2011.

C. Martin and . Cooper, Soft arc consistency revisited, Artificial Intelligence, vol.174, pp.449-478, 2010.

D. Koller and N. Friedman, Probabilistic graphical models: principles and techniques, 2009.

O. Kullmann, The Science of Brute Force, Communications of the ACM, 2017.

N. Narodytska, Verifying properties of binarized deep neural networks", Proc. of AAAI'18, 2018.

Y. Park, Learning the Network Structure of Heterogeneous Data via Pairwise Exponential Markov Random Fields, Artificial Intelligence and Statistics, pp.1302-1310, 2017.

A. Niles, E. Pierce, and . Winfree, Protein design is NP-hard, Protein Eng, vol.15, pp.269-2139, 2002.

D. Röthlisberger, Kemp elimination catalysts by computational enzyme design, Nature, vol.453, p.190, 2008.

T. Schiex, H. Fargier, and G. Verfaillie, Valued Constraint Satisfaction Problems: hard and easy problems, Proc. of the 14 th IJCAI, pp.631-637, 1995.
URL : https://hal.archives-ouvertes.fr/hal-02778456

S. Seemayer, M. Gruber, and J. Söding, CCMpred-fast and precise prediction of protein residue-residue contacts from correlated mutations, Bioinformatics, vol.30, pp.3128-3130, 2014.

D. Simoncini, Guaranteed Discrete Energy Optimization on Large Protein Design Problems, Journal of Chemical Theory and Computation, vol.11, pp.5980-5989, 2015.
URL : https://hal.archives-ouvertes.fr/hal-02637306

G. Simonin, Scheduling scientific experiments for comet exploration, Constraints, vol.20, pp.77-99, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01108961

R. D. Arnout and . Voet, Computational design of a self-assembling symmetrical ?-propeller protein, Proceedings of the National Academy of Sciences, vol.111, pp.15102-15107, 2014.