JFPLC 1998: Nantes, France

@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},
  booktitle = {JFPLC},
  publisher = {Hermes},
  year      = {1998},
  isbn      = {2-86601-691-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Conférence invitée

• Carmen Gervet: Large combinatorial optimization problem methodology for hybrid models and solutions. 9- BibTeX

Tutoriel

• Gérard Ferrand, Alexandre Tessier: Correction et complétude des sémantiques PLC revisitée par (co)-induction. 19- BibTeX

Applications

• Slim Abdennadher, Michael Marte: University timetabling using constraint handling rules. 39-50 BibTeX
• Marc Bernard, François Jacquenet: Des programmes logiques avec contraintes qui apprennent des programmes logiques avec contraintes. 51-76 BibTeX
• Stéphane Channac: Un système coopératif pour la résolution de contraintes géométriques. 77-94 BibTeX
• Isabelle Jacques, Bruno Legeard, Laurent Py: Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes. 95- BibTeX

Bases de données

• Mohand-Said Hacid, Patrick Marcel, Christophe Rigotti: Rule-based restructuring and summarizing in multidimensional data-bases. 115-134 BibTeX
• Yann Loyer, Nicolas Spyratos, Daniel Stamate: Unification des sémantiques usuelles de programmes logiques. 135-150 BibTeX
• Sarah Mallet, Mireille Ducassé: Pilotage d'un méta-interprète ensembliste par une trace "relationelle" pour le débogage de bases de données déductives. 151- BibTeX

Contraintes numériques

• Patricia Mainguet: Résolution incrémentale d'équations linéaires dans Z. 169-184 BibTeX
• Yahia Lebbah, Olivier Lhomme: Acceleration methods for numeric CSPs. 185-198 BibTeX
• David-Olivier Azulay, Jean François Pique: Optimisation des Q-matrices pour la résolution de contraintes linéaires. 199- BibTeX

Contraintes

• Liviu-Virgil Ciortuz: DF - a feature constraint system and its extension to a logic concurrent language. 215-230 BibTeX
• Narendra Jussien, Christelle Guéret: Utilisation du backtrack intelligent dans un branch-and-bound. Application au problème d'Open-Shop. 231-250 BibTeX
• Lotfi Berkaoui, Bruno Legeard: Représentation de séquences définies sur des ensembles non instanciés par arbre PQR patiel. 251- BibTeX

Analyse statique

• Sébastien Hoarau, Frédéric Mesnard: Inférer et compiler la terminaison des programmes logiques avec contraintes. 269-286 BibTeX
• Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault: Compilation abstraite de LambdaProlog. 287- BibTeX