Conferences in DBLP

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

1. 
   Preface. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2002, pp:9-0 [Conf]
   
2. Pascal Van Hentenryck
   Du filtrage optimal à la stabilité parfaite. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2002, pp:11-0 [Conf]
   
3. Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou
   Raisonnement sur les propriétés de contraintes numériques. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2002, pp:13-0 [Conf]
   
4. Xuan-Ha Vu, Djamila Sam-Haroud, Marius-Calin Silaghi
   Résolution de problèmes non linéaires avec continuum de solutions. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2002, pp:27-0 [Conf]
   
5. Luc Jaulin, Marc Christie, Laurent Granvilliers
   Quelques applications de la propagation de contraintes sur les domaines continus en automatique. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2002, pp:43-0 [Conf]
   
6. Pascal Nicolas, Frédéric Saubion, Igor Stéphan
   Optimisation par colonies de fourmis pour la programmation logique étendue. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2002, pp:57-0 [Conf]
   
7. Abdessamad Imine, Yahya Slimani, Sorin Stratulat
   Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2002, pp:71-0 [Conf]
   
8. Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel
   Non-Termination Inference for Optimal Termination Conditions of Logic Programs. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2002, pp:87-0 [Conf]
   
9. Samir Ouis, Narendra Jussien, Olivier Lhomme
   Explications conviviales pour la programmation par contraintes. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2002, pp:105-0 [Conf]
   
10. Mireille Ducassé, Ludovic Langevine
    Analyse automatisée de traces d'exécution de programmes CLP(FD). [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:119-0 [Conf]
    
11. Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier
    Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:135-0 [Conf]
    
12. Jean-Charles Régin
    Résolution d'un problème de conception de réseau avec Parallel Solver. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:151-0 [Conf]
    
13. Alexander Bockmayr, Arnaud Courtois
    Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:167-0 [Conf]
    
14. Jean-Charles Régin, Jean-Francois Puget, Thierry Petit
    Representation of soft constraints by hard constraints. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:181-0 [Conf]
    
15. Olivier Lhomme
    Amortized Non-Systematic Search Algorithms. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:199-0 [Conf]
    
16. Pascal Urso, Emmanuel Kounalis
    Généralisations correctes pour l'induction mathématique. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:211-0 [Conf]
    
17. Moussa Demba, Khaled Bsaïes
    Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:227-0 [Conf]
    
18. Olivier Ponsini
    Réécriture de programmes C--en équations logiques. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:241-0 [Conf]
    
19. Slim Abdennadher, Thom W. Frühwirth
    Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:257-0 [Conf]
    
20. Emmanuel Coquery, François Fages
    Surcharge et sous-typage dans TCLP. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:273-0 [Conf]
    
21. Julien Arsouze, Gérard Ferrand, Arnaud Lallouet
    Arbre d'itérations chaotiques pour décrire la résolution des CSP. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:289-0 [Conf]