, t : W) = 18 sum

C. Bessiere, T. Luc-de-raedt, L. Guns, M. Kotthoff, S. Nanni et al., The inductive constraint programming loop, 2015.
URL : https://hal.archives-ouvertes.fr/lirmm-01276193

R. Bent and P. Van-hentenryck, Online stochastic and robust optimization, Proceedings of the 9th Asian Computing Science Conference (ASIAN 04), pp.286-300, 2004.

C. Bessiere, E. Hebrard, and B. O'sullivan, Minimising decision tree size as combinatorial optimisation, Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming, pp.173-187, 2009.
URL : https://hal.archives-ouvertes.fr/lirmm-00545531

E. Coquery, S. Jabbour, L. Sa¨?ssa¨?s, and Y. Salhi, A sat-based approach for discovering frequent, closed and maximal patterns in a sequence, Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012), pp.258-263, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00865559

R. Dechter and A. Dechter, Belief maintenance in dynamic constraint networks, Proceedings of the 7th National Conference on Artificial Intelligence (AAAI-88), pp.37-42, 1988.

L. De-raedt, T. Guns, and S. Nijssen, Constraint programming for itemset mining, Proceedings of the 14th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD), pp.204-212, 2008.

J. Doyle, A truth maintenance system, Artif. Intell, vol.12, issue.3, pp.231-272, 1979.

S. L. Epstein and E. C. Freuder, Collaborative learning for constraint solving, Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, pp.46-60, 2001.

M. Khiari, P. Boizumault, and B. Crémilleux, Constraint programming for mining n-ary patterns, Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP 2010), pp.552-567, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01016652

K. Marriott and P. J. Stuckey, A minizinc tutorial

J. Shawe-taylor and S. Sun, A review of optimization methodologies in support vector machines, Neurocomputing, vol.74, issue.17, pp.3609-3618, 2011.

T. Tulabandhula and C. Rudin, Machine learning with operational costs, Journal of Machine Learning Research, vol.14, pp.1989-2028, 2013.

I. Tsamardinos, T. Vidal, and M. E. Pollack, CTP: A new constraintbased formalism for conditional, temporal planning, Constraints, vol.8, issue.4, pp.365-388, 2003.

T. Walsh, Stochastic constraint programming, Proceedings of the 15th Eureopean Conference on Artificial Intelligence (ECAI'2002), pp.111-115, 2002.

L. Xu, F. Hutter, H. H. Hoos, and K. Leyton-brown, Satzilla: Portfolio-based algorithm selection for SAT, J. Artif. Intell. Res. (JAIR), vol.32, pp.565-606, 2008.