The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002