MuseuxJSHJM03'

BibTeX

@inproceedings{DBLP:conf/jfplc/MuseuxJSHJM03,
  author    = {Nicolas Museux and
               Laurent Jeannin and
               Pierre Sav{\'e}ant and
               Fabien Le Hu{\'e}d{\'e} and
               Fran\c{c}ois-Xavier Josset and
               Juliette Mattioli},
  title     = {Claire/Eclair : Un environnement de mod{\'e}lisation
               et de r{\'e}solution pour des applications d'optimisation
               combinatoires embarqu{\'e}es},
  booktitle = {JFPLC},
  year      = {2003},
  pages     = {83-96},
  crossref  = {DBLP:conf/jfplc/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/jfplc/2003,
  editor    = {Mireille Ducass{\'e}},
  title     = {Journ{\'e}es Francophones de Programmation en Logique
               avec Contraintes (JFPLC 2003), Amiens, France, du 17 au
               19 Juin 2003},
  booktitle = {JFPLC},
  publisher = {Hermes/Lavoisier},
  year      = {2003},
  isbn      = {2-7462-0739-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}