Search dblp for Publications

export results for "toc:db/conf/jfplc/jfplc2003.bht:"

 download as .bib file

@inproceedings{DBLP:conf/jfplc/AmbertCL03,
  author       = {Fabrice Ambert and
                  S{\'{e}}bastien Chemin and
                  Bruno Legeard},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Int{\'{e}}gration de domaines {\`{a}} variables dans un solveur
                  de contraintes ensemblistes},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {217--220},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Mon, 24 May 2004 15:53:59 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/AmbertCL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Arnaud03,
  author       = {Guillaume Arnaud},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Implantation de {SBDS} en GNU-Prolog},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {237--250},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/Arnaud03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BarichardDHS03,
  author       = {Vincent Barichard and
                  Herv{\'{e}} Deleau and
                  Jin{-}Kao Hao and
                  Fr{\'{e}}d{\'{e}}ric Saubion},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Evolution + Adaptation = R{\'{e}}solution},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {281--294},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/BarichardDHS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BarichardH03,
  author       = {Vincent Barichard and
                  Jin{-}Kao Hao},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Une approche hybride pour l'optimisation multi-objectif sous contraintes},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {33--46},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/BarichardH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BelaissaouiB03,
  author       = {Mustapha Bela{\"{\i}}ssaoui and
                  Houssine Bouyakhf},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {L'optimalit{\'{e}} de l'algorithme "Distributed Intelligent Backtracking"},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {303--306},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/BelaissaouiB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BelleanneeR03,
  author       = {Catherine Belleann{\'{e}}e and
                  Olivier Ridoux},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Programmation, logique et calcul: Pr{\'{e}}sentation d'un enseignement
                  de ma{\^{\i}}trise d'informatique},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {49--62},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/BelleanneeR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BordeauxM03,
  author       = {Lucas Bordeaux and
                  {\'{E}}ric Monfroy},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Extraction de programmes {\`{a}} partir de sp{\'{e}}cifications
                  en logique existentielle du second ordre par compilation de connaissances},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {189--202},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Tue, 23 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/BordeauxM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BouquetLV03,
  author       = {Fabrice Bouquet and
                  Bruno Legeard and
                  Nicolas Vacelet},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Un format f{\'{e}}d{\'{e}}rateur pour l'{\'{e}}valuation
                  de sp{\'{e}}cifications formelles en programmation logique avec
                  contraintes},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {203--216},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/BouquetLV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/ChabrierF03,
  author       = {Nathalie Chabrier and
                  Fran{\c{c}}ois Fages},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {"Model Checking" symbolique de r{\'{e}}seaux bio-chimiques},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {155--168},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/ChabrierF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/CoqueryF03,
  author       = {Emmanuel Coquery and
                  Fran{\c{c}}ois Fages},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Contraintes de sous-typage dans les quasi-treillis},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {253--266},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/CoqueryF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/DembaAB03,
  author       = {Moussa Demba and
                  Francis Alexandre and
                  Khaled Bsa{\"{\i}}es},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Correction de Conjectures Fausses par Synth{\`{e}}se de Programmes},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {307--310},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/DembaAB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Goossens03,
  author       = {Daniel Goossens},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Bipartitions et {\'{e}}quations lin{\'{e}}aires},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {299--302},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/Goossens03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/JeanninG03,
  author       = {Laurent Jeannin and
                  Simon de Givry},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Optimisation des {\'{e}}volutions d'un r{\'{e}}seau t{\'{e}}l{\'{e}}coms},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {183--186},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/JeanninG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Jussien03,
  author       = {Narendra Jussien},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {L'enseignement de la programmation logique {\`{a}} l'Ecole des Mines
                  de Nantes},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {63--75},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/Jussien03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Laburthe03,
  author       = {Fran{\c{c}}ois Laburthe},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Des contraintes sur des ontologies},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {295--298},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/Laburthe03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/LaburtheC03,
  author       = {Fran{\c{c}}ois Laburthe and
                  Yves Caseau},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {De l'utilit{\'{e}} des contraintes pour explorer des catalogues},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {141--154},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/LaburtheC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/LallouetLDE03,
  author       = {Arnaud Lallouet and
                  Andrei Legtchenko and
                  Thi{-}Bich{-}Hanh Dao and
                  AbdelAli Ed{-}Dbali},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Apprentissage de solveurs de contraintes sur les domaines finis},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {125--138},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/LallouetLDE03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/LangevineD03,
  author       = {Ludovic Langevine and
                  Pierre Deransart},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Un nouveau traceur g{\'{e}}n{\'{e}}rique pour GNU-Prolog},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {97--110},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/LangevineD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/LecoutreBH03,
  author       = {Christophe Lecoutre and
                  Fr{\'{e}}d{\'{e}}ric Boussemart and
                  Fred Hemery},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {De {AC3} {\`{a}} {AC7}},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {267--280},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/LecoutreBH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/LoudniBD03,
  author       = {Samir Loudni and
                  Patrice Boizumault and
                  Philippe David},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {R{\'{e}}servation en ligne avec reroutage de demandes de connexion
                  dans les r{\'{e}}seaux {ATM}},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {169--182},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/LoudniBD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/MattioliA03,
  author       = {Juliette Mattioli and
                  Konstantin Artiouchine},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Noyau de viabilit{\'{e}}: une contrainte globale pour la mod{\'{e}}lisation
                  de syst{\`{e}}mes dynamiques},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {19--32},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/MattioliA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Claire/Eclair : Un environnement de mod{\'{e}}lisation et de
                  r{\'{e}}solution pour des applications d'optimisation combinatoires
                  embarqu{\'{e}}es},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {83--96},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/MuseuxJSHJM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/OuisJB03,
  author       = {Samir Ouis and
                  Narendra Jussien and
                  Patrice Boizumault},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Explications k-relevantes pour la programmation par contraintes},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {111--124},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/OuisJB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Puget03,
  author       = {Jean{-}Francois Puget},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Cassure de sym{\'{e}}tries {\`{a}} base de stabilisateurs : Application
                  aux {CSP} matriciels},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {223--236},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/Puget03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Solnon03,
  author       = {Christine Solnon},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Un cours "{\'{e}}lectronique" sur la programmation par contraintes},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {77--80},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/Solnon03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Timpe03,
  author       = {Christian Timpe},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {A hybrid {MIP-CP} algorithm for a linked planning and scheduling problem
                  from chemical industry},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {15},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/Timpe03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  isbn         = {2-7462-0739-7},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.