default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJFPLC 2001: Paris, France
- Philippe Codognet:
Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France. Hermes 2001, ISBN 2-7462-0255-7
CSP
- Christian Bessière, Jean-Charles Régin:
Refining the Basic Constraint Propagation Algorithm. JFPLC 2001: 13-26 - Marc R. C. van Dongen:
A Theoretical Analysis of the Average-Time Complexity of Domain-Heuristics for Arc-Consistency Algorithms. JFPLC 2001: 27-42 - Enhong Chen, Zhenya Zhang, Xufa Wang, Kazuyuki Aihara:
An Algorithm for Fast Recognition of Connected Row-Convex Constraint Networks. JFPLC 2001: 43-58
Programmation par contraintes I
- Sébastien Buthod-Garçon, Michel Dumoulin, Laurent Trilling:
Un résolveur d'ordonnancements de gammes sur le long terme avec intégration dynamique des temps de réglage. JFPLC 2001: 59-74 - Brahim Hnich, Pierre Flener:
High-Level Reformulation of Constraint Programs. JFPLC 2001: 75-90 - Charlotte Truchet, Carlos Agón, Gérard Assayag:
Recherche adaptative et contraintes musicales. JFPLC 2001: 91-108
Logique
- Gilles Audemard, Belaid Benhamou:
Etude des symétries dans les modèles finis. JFPLC 2001: 109-122 - Satoshi Matsuoka:
A Confluent Extension of Lafont's Interaction Nets. JFPLC 2001: 123-138 - Areski Nait Abdallah:
Optimal models and optimal trajectories in logical dynamics. JFPLC 2001: 139-156
Distribution et concurrence
- Nicolas Romero:
Programmation concurrente par contraintes explicitement répartie. JFPLC 2001: 157-172 - Cyril Terrioux:
Recherche coopérative et Nogood Recording. JFPLC 2001: 173-188 - Abdelfettah Hasbani, Olivier Guinaldo:
Impact de la programmation logique parallèle et par contraintes sur l'ingénierie des systèmes multi-agents. JFPLC 2001: 189-206
Programmation par contraintes II
- Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou:
Amélioration de la complexité des kB-consistances. JFPLC 2001: 207-222 - Emmanuel Coquery, François Fages:
Programmes logiques avec contraintes typés. JFPLC 2001: 223-238 - Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak:
Parametric Descriptive Types for CLP. JFPLC 2001: 239-256
Environnements et validation
- AbdelAli Ed-Dbali, Pierre Deransart, Mariza Andrade da Silva Bigonha, José de Siqueira, Roberto da Silva Bigonha:
HyperPro: Un environment intégré de documentation pour la PLC. JFPLC 2001: 257-270 - Frédéric Mesnard, Ulrich Neumerkel, Étienne Payet:
cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog. JFPLC 2001: 271-286 - Sorin Craciunescu:
Preuves de programmes logiques par induction et coinduction. JFPLC 2001: 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 2024-11-06 20:40 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:
