Re: Tuning automatique de paramètres

Pour autant que je sache, Microsoft travaille surtout sur SAT en ce qui concerne la combinatoire, c'est à dire de la résolution systématique et autonome. Maintenant, je ne connais que deux chercheurs de Cambridge.