The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Catuscia Palamidessi
    Constraint programming for concurrent and distributed computing. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:11-0 [Conf]
  2. Donald A. Smith
    MixLog: a generalized rule-based language. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:21-36 [Conf]
  3. Jean-Hugues Réty
    Un langage distribué concurrent avec contraintes. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:37-52 [Conf]
  4. Arnaud Lallouet
    DP-LOG: un langage logique data-parallèle. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:53-0 [Conf]
  5. Maarten H. van Emden
    Canonical extensions as common basis for interval constraints and interval arithmetic. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:71-84 [Conf]
  6. Karine Liogier
    Négation constructive et modèles bivalués. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:85-100 [Conf]
  7. Viet Phan Luong
    Computing stable models of datalog programs with negation. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:101-0 [Conf]
  8. Nicolas Barnier, Pascal Brisset
    Optimisation par hybridation d'un CSP avec un algorithme génétique. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:119-132 [Conf]
  9. Pierre Dago
    Backtrack dynamique valué. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:133-148 [Conf]
  10. Narendra Jussien, Patrice Boizumault
    Stratégies en meilleur d'abord pour la relaxation de contraintes. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:149-0 [Conf]
  11. Jacques Carlier, Eric Pinson
    Bounds and adjustments associated with the Pm/ri, qi/Cmax scheduling problem. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:169-0 [Conf]
  12. Eric Boucher, Bruno Legeard
    Procédure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:179-194 [Conf]
  13. Laurent Granvilliers
    Transformations symboliques et consistance de bloc de CSP continus. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:195-210 [Conf]
  14. Christine Solnon
    Coopération de solveurs linéaires sur les réels pour la résolution de problèmes linéaires sur les entiers. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:211-0 [Conf]
  15. Abderrahmane Aggoun
    L'environnement de programmation par contraintes CHIP dans l'industrie. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:229-230 [Conf]
  16. Georges Weil, Kamel Heus, Patrice François
    Gymnaste ou l'informatisation des plannings des personnels dans l'unité de soins: un défi technique et sociologique. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:231-234 [Conf]
  17. Stéphane N'Dong
    Prolog IV ou la programmation par contraintes selon PrologIA. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:235-0 [Conf]
  18. John Alan Robinson
    Unification and resolution in retrospect. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:241-0 [Conf]
  19. Jean-Michel Richer, Jean-Jacques Chabrier
    Une approche de résolution de problèmes en logique basée sur des techniques de satisfaction de contraintes. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:245-260 [Conf]
  20. Olivier Roussel, Philippe Mathieu
    Une compilation logique exacte en calcul des prédicats: le cas de l'achèvement partiel. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:261-276 [Conf]
  21. Mathieu Jaume
    Formalisation de la SLD-résolution dans le calcul des constructions inductives. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:277-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