Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/jfplc/BarichardH04,
  author       = {Vincent Barichard and
                  Jin{-}Kao Hao},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Recherche locale dichotomique pour la r{\'{e}}solution des {CSP}
                  continus},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Mon, 24 May 2004 15:54:02 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BarichardH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BeldiceanuP04,
  author       = {Nicolas Beldiceanu and
                  Emmanuel Poder},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {La contrainte p{\'{e}}riode},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Mon, 13 Dec 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/BeldiceanuP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BergerBS04,
  author       = {Sacha Berger and
                  Fran{\c{c}}ois Bry and
                  Sebastian Schaffert},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Xcerpt et visXcerpt : langages d{\'{e}}ductifs d'interrogation
                  du Web},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Tue, 11 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BergerBS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/DahlB04,
  author       = {Ver{\'{o}}nica Dahl and
                  Philippe Blache},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Implantation de grammaires de propri{\'{e}}t{\'{e}}s en
                  {CHR}},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Tue, 11 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/DahlB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/DeleauLMS04,
  author       = {Herv{\'{e}} Deleau and
                  Tony Lambert and
                  {\'{E}}ric Monfroy and
                  Fr{\'{e}}d{\'{e}}ric Saubion},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {It{\'{e}}rations chaotiques pour l'hybridation propagation de
                  contraintes/recherche locale},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Tue, 23 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/DeleauLMS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/DoomsDD04,
  author       = {Gr{\'{e}}goire Dooms and
                  Yves Deville and
                  Pierre Dupont},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Recherche de chemins contraints dans les r{\'{e}}seaux biochimiques},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Sat, 10 May 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/DoomsDD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/FerrandL04,
  author       = {G{\'{e}}rard Ferrand and
                  Arnaud Lallouet},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Une repr{\'{e}}sentation d{\'{e}}clarative des consistances
                  de CSPs},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Tue, 11 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/FerrandL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/FerrandLT04,
  author       = {G{\'{e}}rard Ferrand and
                  Willy Lesaint and
                  Alexandre Tessier},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Explications pour comprendre la trace d'un solveur de contraintes
                  sur domaines finis},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Tue, 11 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/FerrandLT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/GranvilliersO04,
  author       = {Laurent Granvilliers and
                  Mina Ouabiba},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Contribution aux techniques de satisfaction de contraintes par combinaison
                  de termes non lin{\'{e}}aires},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Tue, 04 Jan 2005 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/GranvilliersO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/LangevineD04,
  author       = {Ludovic Langevine and
                  Mireille Ducass{\'{e}}},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Un pilote de traceur pour la {PLC}},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Tue, 11 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/LangevineD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Leuschel04,
  author       = {Michael Leuschel},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {{PROB:} un outil de mod{\'{e}}lisation formelle},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Tue, 11 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Leuschel04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/NicolasGS04,
  author       = {Pascal Nicolas and
                  Laurent Garcia and
                  Igor St{\'{e}}phan},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Programmation par ensembles-r{\'{e}}ponses possibilistes},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Mon, 01 Aug 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/NicolasGS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/PayetM04,
  author       = {{\'{E}}tienne Payet and
                  Fr{\'{e}}d{\'{e}}ric Mesnard},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Inf{\'{e}}rence de non-terminaison pour les programmes logiques
                  avec contraintes},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Tue, 11 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/PayetM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Soliman04,
  author       = {Sylvain Soliman},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Pi-calcul et LCC, une odyss{\'{e}}e de l'espace},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Tue, 11 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Soliman04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/SorlinS04,
  author       = {S{\'{e}}bastien Sorlin and
                  Christine Solnon},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Une contrainte globale pour le probl{\`{e}}me de l'isomorphisme de
                  graphes},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Fri, 25 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/SorlinS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Truchet04,
  author       = {Charlotte Truchet},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Programmation par contraintes et composition musicale},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Tue, 11 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Truchet04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/VareillesAHG04,
  author       = {{\'{E}}lise Vareilles and
                  Michel Aldanondo and
                  Khaled Hadj{-}Hamou and
                  Paul Gaborit},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Application des techniques {CSP} pour la configuration d'un process
                  de traitement thermique},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Sun, 09 May 2010 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/VareillesAHG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/VasquezH04,
  author       = {Michel Vasquez and
                  Djamal Habet},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Algorithmes complet et incomplet pour la coloration des graphes de
                  reines},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Tue, 11 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/VasquezH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/jfplc/2004,
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  isbn         = {2-7462-0937-3},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/2004.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.