Claire/Eclair : Un environnement de modélisation et de résolution pour des applications d'optimisation combinatoires embarquées.