default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJFPLC 1997: Orléans, France
- Frédéric Benhamou:
JFPLC'97, Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 26-28 mai 1997, Orléans, France. Hermes 1997, ISBN 2-86601-614-9
Conférence invitée
- Catuscia Palamidessi:
Constraint programming for concurrent and distributed computing. JFPLC 1997: 11-
Langages et extensions
- Donald A. Smith:
MixLog: a generalized rule-based language. JFPLC 1997: 21-36 - Jean-Hugues Réty:
Un langage distribué concurrent avec contraintes. JFPLC 1997: 37-52 - Arnaud Lallouet:
DP-LOG: un langage logique data-parallèle. JFPLC 1997: 53-
Sémantique
- Maarten H. van Emden:
Canonical extensions as common basis for interval constraints and interval arithmetic. JFPLC 1997: 71-84 - Karine Liogier:
Négation constructive et modèles bivalués. JFPLC 1997: 85-100 - Viet Phan Luong:
Computing stable models of datalog programs with negation. JFPLC 1997: 101-
Problèmes de satisfaction de contraintes
- Nicolas Barnier, Pascal Brisset:
Optimisation par hybridation d'un CSP avec un algorithme génétique. JFPLC 1997: 119-132 - Pierre Dago:
Backtrack dynamique valué. JFPLC 1997: 133-148 - Narendra Jussien, Patrice Boizumault:
Stratégies en meilleur d'abord pour la relaxation de contraintes. JFPLC 1997: 149-
Conférence invitée II
- Jacques Carlier, Eric Pinson:
Bounds and adjustments associated with the Pm/ri, qi/Cmax scheduling problem. JFPLC 1997: 169-
Contraintes
- Eric Boucher, Bruno Legeard:
Procédure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes. JFPLC 1997: 179-194 - Laurent Granvilliers:
Transformations symboliques et consistance de bloc de CSP continus. JFPLC 1997: 195-210 - Christine Solnon:
Coopération de solveurs linéaires sur les réels pour la résolution de problèmes linéaires sur les entiers. JFPLC 1997: 211-
Session industrielle
- Abderrahmane Aggoun:
L'environnement de programmation par contraintes CHIP dans l'industrie. JFPLC 1997: 229-230 - Georges Weil, Kamel Heus, Patrice François:
Gymnaste ou l'informatisation des plannings des personnels dans l'unité de soins: un défi technique et sociologique. JFPLC 1997: 231-234 - Stéphane N'Dong:
Prolog IV ou la programmation par contraintes selon PrologIA. JFPLC 1997: 235-
Conference invitée III
- John Alan Robinson:
Unification and resolution in retrospect. JFPLC 1997: 241-
Résolution et optimisation
- Jean-Michel Richer, Jean-Jacques Chabrier:
Une approche de résolution de problèmes en logique basée sur des techniques de satisfaction de contraintes. JFPLC 1997: 245-260 - Olivier Roussel, Philippe Mathieu:
Une compilation logique exacte en calcul des prédicats: le cas de l'achèvement partiel. JFPLC 1997: 261-276 - Mathieu Jaume:
Formalisation de la SLD-résolution dans le calcul des constructions inductives. JFPLC 1997: 277-
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 2024-12-19 22:18 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:
