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

Nicolas Museux, Laurent Jeannin, Pierre Savéant, Fabien Le Huédé, François-Xavier Josset, Juliette Mattioli. Claire/Eclair : Un environnement de modélisation et de résolution pour des applications d optimisation combinatoires embarquées. In Mireille Ducassé, editor, Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003. pages 83-96, Hermes/Lavoisier, 2003.

Abstract

Abstract is missing.