Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/jfplc/AillaudD99,
  author       = {Christophe Aillaud and
                  Pierre Deransart},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Vers un arbre de sp{\'{e}}cification d'arbres de choix en {PLC}},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {249--264},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 12:53:17 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/AillaudD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BockmayrK99,
  author       = {Alexander Bockmayr and
                  Thomas Kasper},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Branch-and-Infer: an Unifying Framework for Integer Linear Programming
                  and Finite Domain Constraint Programming},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {141--142},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BockmayrK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/ColinMR99,
  author       = {Serge Colin and
                  Fr{\'{e}}d{\'{e}}ric Mesnard and
                  Antoine Rauzy},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Un module Prolog de mu-calcul bool{\'{e}}en: une r{\'{e}}alisation
                  par {BDD}},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {23--38},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/ColinMR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/DekhtyarDS99,
  author       = {Michael I. Dekhtyar and
                  Alexander Ja. Dikovsky and
                  Nicolas Spyratos},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Incremental Expansion of Database Updates Through Integrity Constraints},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {189--204},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/DekhtyarDS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/DelzannoP99,
  author       = {Giorgio Delzanno and
                  Andreas Podelski},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Verification of Infinite-State Systems in Constraint Logic Programming},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {13--22},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Mon, 19 Apr 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/DelzannoP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/GivrySJ99,
  author       = {Simon de Givry and
                  Pierre Sav{\'{e}}ant and
                  Jean Jourdan},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Optimisation combinatoire en temps limit{\'{e}}: Depth First
                  Branch and Bound adaptaif},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {161--178},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/GivrySJ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/GoualardB99,
  author       = {Fr{\'{e}}d{\'{e}}ric Goualard and
                  Fr{\'{e}}d{\'{e}}ric Benhamou},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Un outil de d{\'{e}}bogage du store pour la programmation par
                  contraintes},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {281--296},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/GoualardB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Granvilliers99,
  author       = {Laurent Granvilliers},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Strat{\'{e}}gies de r{\'{e}}solution de {CSP} num{\'{e}}riques},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {221--240},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Granvilliers99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Grumbach99,
  author       = {St{\'{e}}phane Grumbach},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Constraint Databases},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {179--188},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Grumbach99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Hentenryck99,
  author       = {Pascal Van Hentenryck},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Localizer: {A} Modeling Language for Local Search},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {143--144},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Hentenryck99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/JahierD99,
  author       = {Erwan Jahier and
                  Mireille Ducass{\'{e}}},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Un traceur d'ex{\'{e}}cution de programme ne sert pas qu'au d{\'{e}}bogage},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {297--311},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/JahierD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Kirchner99,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {{ELAN}},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {241--248},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Kirchner99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/LallouetH99,
  author       = {Arnaud Lallouet and
                  Ga{\'{e}}tan Hains},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Programmation par contraintes parall{\`{e}}le: l'approche CLP(Chi)},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {107--122},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 10 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/LallouetH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Mainguet99,
  author       = {Patricia Mainguet},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {R{\'{e}}solution incr{\'{e}}mentale d'in{\'{e}}quations
                  lin{\'{e}}air{\'{e}}s {\`{a}} variables dans {Z}},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {205--220},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Mainguet99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/MalesieuxRB99,
  author       = {Fr{\'{e}}d{\'{e}}ric Mal{\'{e}}sieux and
                  Olivier Ridoux and
                  Patrice Boizumault},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Analyse statique typ{\'{e}}e: application {\`{a}} l'analyse de
                  cl{\^{o}}tures de lambda-Prolog},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {55--72},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/MalesieuxRB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/MaurasT99,
  author       = {Christophe Mauras and
                  Ren{\'{e}} Thoraval},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {A propos de la v{\'{e}}rification de programmes synchrones et
                  de l'analyse de programmes logiques aves contraintes},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {39--54},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/MaurasT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/MonfroyR99,
  author       = {{\'{E}}ric Monfroy and
                  Jean{-}Hugues R{\'{e}}ty},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {It{\'{e}}rations asynchrones: un cadre uniforme pour la propagation
                  de contraintes parall{\`{e}}le et r{\'{e}}partie},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {123--140},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 23 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/MonfroyR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Raedt99,
  author       = {Luc De Raedt},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Database Mining and Inductive Logic Programming},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {73--74},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Raedt99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Richard99,
  author       = {Gilles Richard},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Comparison between Programs and Concepts in {ILP}},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {75--88},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Richard99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/RousseauP99,
  author       = {Louis{-}Martin Rousseau and
                  Gilles Pesant},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Une hybridation de programmation par contraintes et recherche locale
                  pour le probl{\`{e}}me de tourn{\'{e}}es de v{\'{e}}hicules},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {145--160},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/RousseauP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/SaubionS99,
  author       = {Fr{\'{e}}d{\'{e}}ric Saubion and
                  Igor St{\'{e}}phan},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Implanter des langages d'arbres en Prolog},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {89--106},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/SaubionS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/SimonisA99,
  author       = {Helmut Simonis and
                  Abderrahmane Aggoun},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Search Tree Debugging},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {265--280},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/SimonisA99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/jfplc/1999,
  editor       = {Fran{\c{c}}ois Fages},
  title        = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.