François-Xavier Josset

According to our database, François-Xavier Josset authored at least 3 papers between 2002 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

Claire/Eclair(copyright) Un environnement de modélisation etde résolution pourdesapplicationsd'optimisation combinatoires embarquées.

Laurent Jeannin, François-Xavier Josset, Fabien Le Huédé, Juliette Mattioli, Nicolas Museux, Pierre Savéant

Tech. Sci. Informatiques, 2003

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

Proceedings of the Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), 2003

2002

CLAIRE: Combining sets, search and rules to better express algorithms.

Yves Caseau, François-Xavier Josset, François Laburthe

Theory Pract. Log. Program., 2002