Conferences in DBLP

Journées Francophones de Programmation Logique par Contraintes (jfplc)
2001 (conf/jfplc/2001)

1. Christian Bessière, Jean-Charles Régin
   Refining the Basic Constraint Propagation Algorithm. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2001, pp:13-26 [Conf]
   
2. Marc R. C. van Dongen
   A Theoretical Analysis of the Average-Time Complexity of Domain-Heuristics for Arc-Consistency Algorithms. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2001, pp:27-42 [Conf]
   
3. Enhong Chen, Zhenya Zhang, Xufa Wang, Kazuyuki Aihara
   An Algorithm for Fast Recognition of Connected Row-Convex Constraint Networks. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2001, pp:43-58 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2001, pp:59-74 [Conf]
   
5. Brahim Hnich, Pierre Flener
   High-Level Reformulation of Constraint Programs. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2001, pp:75-90 [Conf]
   
6. Charlotte Truchet, Carlos Agon, Gerard Assayag
   Recherche adaptative et contraintes musicales. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2001, pp:91-108 [Conf]
   
7. Gilles Audemard, Belaid Benhamou
   Etude des symétries dans les modèles finis. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2001, pp:109-122 [Conf]
   
8. Satoshi Matsuoka
   A Confluent Extension of Lafont's Interaction Nets. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2001, pp:123-138 [Conf]
   
9. Areski Nait Abdallah
   Optimal models and optimal trajectories in logical dynamics. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2001, pp:139-156 [Conf]
   
10. Nicolas Romero
    Programmation concurrente par contraintes explicitement répartie. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:157-172 [Conf]
    
11. Cyril Terrioux
    Recherche coopérative et Nogood Recording. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:173-188 [Conf]
    
12. Abdelfettah Hasbani, Olivier Guinaldo
    Impact de la programmation logique parallèle et par contraintes sur l'ingénierie des systèmes multi-agents. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:189-206 [Conf]
    
13. Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou
    Amélioration de la complexité des kB-consistances. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:207-222 [Conf]
    
14. Emmanuel Coquery, François Fages
    Programmes logiques avec contraintes typés. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:223-238 [Conf]
    
15. Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
    Parametric Descriptive Types for CLP. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:239-256 [Conf]
    
16. 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. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:257-270 [Conf]
    
17. Frédéric Mesnard, Ulrich Neumerkel, Étienne Payet
    cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:271-286 [Conf]
    
18. Sorin Craciunescu
    Preuves de programmes logiques par induction et coinduction. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:287-0 [Conf]