Polynomialité pour la compréhension et l’extension des limites des solveurs performants.

Les partenaires de ce projet sont l’IRIT, le LSIS, le Greyc et le CRIL. Le projet TUPLES est centré sur la résolution effective de problèmes NP-Complets, en particulier relevant de l’intelligence artificielle. L’objectif principal est de repousser de façon significative les limites actuellement observées au niveau de l’efficacité des solveurs de problèmes combinatoires, tout en établissant en même temps un cadre théorique qui semble nécessaire pour atteindre cet objectif. Le projet TUPLES aborde cette question par le développement et l’exploitation de classes polynomiales ainsi qu’en les envisageant comme outils d’analyse pour expliquer l’efficacité relative des solveurs. Programme blanc 2010-2014.


Responsable scientifique pour le CRIL :
Lakhdar Saïs
Participants :
Daniel Le Berre
Pierre Marquis
Bertrand Mazure
Durée :
2010-2015