Après t'as aussi ça : http://code.msdn.microsoft.com/solverfoundation un solver CSP et un solver LP (combinatoire) MILP et MINLP apparemment (mixte, linéaire et non linéaire et plus combinatoire pure pour le coup)
Sinon j'ai pas compris ta phrase sur la combinatoire, tu veux dire que la combinatoire c'est la résolution systématique et autonome ou que ms fait de la résolution systématique et autonome sur SAT (problème combinatoire) ?
[^] # Re: Tuning automatique de paramètres
Posté par thoasm . En réponse au journal Le labo commun Inria-Microsoft. Évalué à 2.
Après t'as aussi ça : http://code.msdn.microsoft.com/solverfoundation un solver CSP et un solver LP (combinatoire) MILP et MINLP apparemment (mixte, linéaire et non linéaire et plus combinatoire pure pour le coup)
Sinon sur la page du projet t'as pas grand monde qui bosse sur SAT : http://www.msr-inria.inria.fr/Projects/adaptive-comb-search
Sinon j'ai pas compris ta phrase sur la combinatoire, tu veux dire que la combinatoire c'est la résolution systématique et autonome ou que ms fait de la résolution systématique et autonome sur SAT (problème combinatoire) ?