2004 |
5 | EE | Yves Caseau,
François-Xavier Josset,
François Laburthe:
CLAIRE: Combining Sets, Search And Rules To Better Express Algorithms
CoRR cs.PL/0405091: (2004) |
2003 |
4 | | 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.
JFPLC 2003: 83-96 |
3 | EE | Laurent Jeannin,
François-Xavier Josset,
Fabien Le Huédé,
Juliette Mattioli,
Nicolas Museux,
Pierre Savéant:
Claire/Eclair(copyright) Un environnement de modélisation etde résolution pourdesapplicationsd'optimisation combinatoires embarquées.
Technique et Science Informatiques 22(1): 83-96 (2003) |
2002 |
2 | | Yves Caseau,
François-Xavier Josset,
François Laburthe:
CLAIRE: Combining sets, search and rules to better express algorithms.
TPLP 2(6): 769-805 (2002) |
1999 |
1 | | Yves Caseau,
François-Xavier Josset,
François Laburthe:
CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms.
ICLP 1999: 245-259 |