default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. JFPLC 1999: Lyon France
- François Fages:
JFPLC'99, Huitièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France. Hermes 1999
Analyse statique
- Giorgio Delzanno, Andreas Podelski:
Verification of Infinite-State Systems in Constraint Logic Programming. JFPLC 1999: 13-22 - Serge Colin, Frédéric Mesnard, Antoine Rauzy:
Un module Prolog de mu-calcul booléen: une réalisation par BDD. JFPLC 1999: 23-38 - Christophe Mauras, René Thoraval:
A propos de la vérification de programmes synchrones et de l'analyse de programmes logiques aves contraintes. JFPLC 1999: 39-54 - Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault:
Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog. JFPLC 1999: 55-72
Languages et extensions
- Luc De Raedt:
Database Mining and Inductive Logic Programming. JFPLC 1999: 73-74 - Gilles Richard:
Comparison between Programs and Concepts in ILP. JFPLC 1999: 75-88 - Frédéric Saubion, Igor Stéphan:
Implanter des langages d'arbres en Prolog. JFPLC 1999: 89-106
Parallélisme
- Arnaud Lallouet, Gaétan Hains:
Programmation par contraintes parallèle: l'approche CLP(Chi). JFPLC 1999: 107-122 - Éric Monfroy, Jean-Hugues Réty:
Itérations asynchrones: un cadre uniforme pour la propagation de contraintes parallèle et répartie. JFPLC 1999: 123-140
Optimisation combinatoire
- Alexander Bockmayr, Thomas Kasper:
Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming. JFPLC 1999: 141-142 - Pascal Van Hentenryck:
Localizer: A Modeling Language for Local Search. JFPLC 1999: 143-144 - Louis-Martin Rousseau, Gilles Pesant:
Une hybridation de programmation par contraintes et recherche locale pour le problème de tournées de véhicules. JFPLC 1999: 145-160 - Simon de Givry, Pierre Savéant, Jean Jourdan:
Optimisation combinatoire en temps limité: Depth First Branch and Bound adaptaif. JFPLC 1999: 161-178
Contraintes
- Stéphane Grumbach:
Constraint Databases. JFPLC 1999: 179-188 - Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos:
Incremental Expansion of Database Updates Through Integrity Constraints. JFPLC 1999: 189-204 - Patricia Mainguet:
Résolution incrémentale d'inéquations linéairés à variables dans Z. JFPLC 1999: 205-220 - Laurent Granvilliers:
Stratégies de résolution de CSP numériques. JFPLC 1999: 221-240
Environnements de programmation
- Hélène Kirchner:
ELAN. JFPLC 1999: 241-248 - Christophe Aillaud, Pierre Deransart:
Vers un arbre de spécification d'arbres de choix en PLC. JFPLC 1999: 249-264 - Helmut Simonis, Abderrahmane Aggoun:
Search Tree Debugging. JFPLC 1999: 265-280 - Frédéric Goualard, Frédéric Benhamou:
Un outil de débogage du store pour la programmation par contraintes. JFPLC 1999: 281-296 - Erwan Jahier, Mireille Ducassé:
Un traceur d'exécution de programme ne sert pas qu'au débogage. JFPLC 1999: 297-311
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-30 19:34 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:
