Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/jfplc/AbdennadherM98,
  author       = {Slim Abdennadher and
                  Michael Marte},
  editor       = {Olivier Ridoux},
  title        = {University timetabling using constraint handling rules},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {39--50},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 08:16:09 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/AbdennadherM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/AzulayP98,
  author       = {David{-}Olivier Azulay and
                  Jean Fran{\c{c}}ois Pique},
  editor       = {Olivier Ridoux},
  title        = {Optimisation des Q-matrices pour la r{\'{e}}solution de contraintes
                  lin{\'{e}}aires},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {199},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/AzulayP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BerkaouiL98,
  author       = {Lotfi Berkaoui and
                  Bruno Legeard},
  editor       = {Olivier Ridoux},
  title        = {Repr{\'{e}}sentation de s{\'{e}}quences d{\'{e}}finies
                  sur des ensembles non instanci{\'{e}}s par arbre {PQR} patiel},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {251},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BerkaouiL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BernardJ98,
  author       = {Marc Bernard and
                  Fran{\c{c}}ois Jacquenet},
  editor       = {Olivier Ridoux},
  title        = {Des programmes logiques avec contraintes qui apprennent des programmes
                  logiques avec contraintes},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {51--76},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BernardJ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Channac98,
  author       = {St{\'{e}}phane Channac},
  editor       = {Olivier Ridoux},
  title        = {Un syst{\`{e}}me coop{\'{e}}ratif pour la r{\'{e}}solution
                  de contraintes g{\'{e}}om{\'{e}}triques},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {77--94},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Channac98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Ciortuz98,
  author       = {Liviu{-}Virgil Ciortuz},
  editor       = {Olivier Ridoux},
  title        = {{DF} - a feature constraint system and its extension to a logic concurrent
                  language},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {215--230},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Ciortuz98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/FerrandT98,
  author       = {G{\'{e}}rard Ferrand and
                  Alexandre Tessier},
  editor       = {Olivier Ridoux},
  title        = {Correction et compl{\'{e}}tude des s{\'{e}}mantiques {PLC}
                  revisit{\'{e}}e par (co)-induction},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {19},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/FerrandT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Gervet98,
  author       = {Carmen Gervet},
  editor       = {Olivier Ridoux},
  title        = {Large combinatorial optimization problem methodology for hybrid models
                  and solutions},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {9},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Gervet98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/HacidMR98,
  author       = {Mohand{-}Said Hacid and
                  Patrick Marcel and
                  Christophe Rigotti},
  editor       = {Olivier Ridoux},
  title        = {Rule-based restructuring and summarizing in multidimensional data-bases},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {115--134},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/HacidMR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/HoarauM98,
  author       = {S{\'{e}}bastien Hoarau and
                  Fr{\'{e}}d{\'{e}}ric Mesnard},
  editor       = {Olivier Ridoux},
  title        = {Inf{\'{e}}rer et compiler la terminaison des programmes logiques
                  avec contraintes},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {269--286},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/HoarauM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/JacquesLP98,
  author       = {Isabelle Jacques and
                  Bruno Legeard and
                  Laurent Py},
  editor       = {Olivier Ridoux},
  title        = {R{\'{e}}solution d'un probl{\`{e}}me de d{\'{e}}coupe {\`{a}}
                  deux dimensions en programmation logique avec contraintes},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {95},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/JacquesLP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/JussienG98,
  author       = {Narendra Jussien and
                  Christelle Gu{\'{e}}ret},
  editor       = {Olivier Ridoux},
  title        = {Utilisation du backtrack intelligent dans un branch-and-bound. Application
                  au probl{\`{e}}me d'Open-Shop},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {231--250},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/JussienG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/LebbahL98,
  author       = {Yahia Lebbah and
                  Olivier Lhomme},
  editor       = {Olivier Ridoux},
  title        = {Acceleration methods for numeric CSPs},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {185--198},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/LebbahL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/LoyerSS98,
  author       = {Yann Loyer and
                  Nicolas Spyratos and
                  Daniel Stamate},
  editor       = {Olivier Ridoux},
  title        = {Unification des s{\'{e}}mantiques usuelles de programmes logiques},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {135--150},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/LoyerSS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Mainguet98,
  author       = {Patricia Mainguet},
  editor       = {Olivier Ridoux},
  title        = {R{\'{e}}solution incr{\'{e}}mentale d'{\'{e}}quations
                  lin{\'{e}}aires dans {Z}},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {169--184},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Mainguet98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/MalesieuxRB98,
  author       = {Fr{\'{e}}d{\'{e}}ric Mal{\'{e}}sieux and
                  Olivier Ridoux and
                  Patrice Boizumault},
  editor       = {Olivier Ridoux},
  title        = {Compilation abstraite de LambdaProlog},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {287},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/MalesieuxRB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/MalletD98,
  author       = {Sarah Mallet and
                  Mireille Ducass{\'{e}}},
  editor       = {Olivier Ridoux},
  title        = {Pilotage d'un m{\'{e}}ta-interpr{\`{e}}te ensembliste par une
                  trace "relationelle" pour le d{\'{e}}bogage de bases de donn{\'{e}}es
                  d{\'{e}}ductives},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {151},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/MalletD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/jfplc/1998,
  editor       = {Olivier Ridoux},
  title        = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  publisher    = {Hermes},
  year         = {1998},
  isbn         = {2-86601-691-2},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/1998.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.