default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJFPLC 1998: Nantes, France
- Olivier Ridoux:
JFPLC'98, Septièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 27-29 mai 1998, Nantes, France. Hermes 1998, ISBN 2-86601-691-2
Conférence invitée
- Carmen Gervet:
Large combinatorial optimization problem methodology for hybrid models and solutions. JFPLC 1998: 9-
Tutoriel
- Gérard Ferrand, Alexandre Tessier:
Correction et complétude des sémantiques PLC revisitée par (co)-induction. JFPLC 1998: 19-
Applications
- Slim Abdennadher, Michael Marte:
University timetabling using constraint handling rules. JFPLC 1998: 39-50 - Marc Bernard, François Jacquenet:
Des programmes logiques avec contraintes qui apprennent des programmes logiques avec contraintes. JFPLC 1998: 51-76 - Stéphane Channac:
Un système coopératif pour la résolution de contraintes géométriques. JFPLC 1998: 77-94 - Isabelle Jacques, Bruno Legeard, Laurent Py:
Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes. JFPLC 1998: 95-
Bases de données
- Mohand-Said Hacid, Patrick Marcel, Christophe Rigotti:
Rule-based restructuring and summarizing in multidimensional data-bases. JFPLC 1998: 115-134 - Yann Loyer, Nicolas Spyratos, Daniel Stamate:
Unification des sémantiques usuelles de programmes logiques. JFPLC 1998: 135-150 - 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. JFPLC 1998: 151-
Contraintes numériques
- Patricia Mainguet:
Résolution incrémentale d'équations linéaires dans Z. JFPLC 1998: 169-184 - Yahia Lebbah, Olivier Lhomme:
Acceleration methods for numeric CSPs. JFPLC 1998: 185-198 - David-Olivier Azulay, Jean François Pique:
Optimisation des Q-matrices pour la résolution de contraintes linéaires. JFPLC 1998: 199-
Contraintes
- Liviu-Virgil Ciortuz:
DF - a feature constraint system and its extension to a logic concurrent language. JFPLC 1998: 215-230 - Narendra Jussien, Christelle Guéret:
Utilisation du backtrack intelligent dans un branch-and-bound. Application au problème d'Open-Shop. JFPLC 1998: 231-250 - Lotfi Berkaoui, Bruno Legeard:
Représentation de séquences définies sur des ensembles non instanciés par arbre PQR patiel. JFPLC 1998: 251-
Analyse statique
- Sébastien Hoarau, Frédéric Mesnard:
Inférer et compiler la terminaison des programmes logiques avec contraintes. JFPLC 1998: 269-286 - Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault:
Compilation abstraite de LambdaProlog. JFPLC 1998: 287-
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.
last updated on 2025-03-01 15:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
