The SCEAS System
Navigation Menu

Journals in DBLP


1994, volume: , number:

  1. Frédéric Benhamou
    Interval Constraint Logic Programming [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:1-21 [Journal]
  2. Alexander Bockmayr
    Solving Pseudo-Boolean Constraints [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:22-38 [Journal]
  3. Philippe Codognet, Giuseppe Nardiello
    Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:39-61 [Journal]
  4. Hubert Comon
    Constraints in Term Algebras: An Overview of Constraint Solving Techniques [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:62-67 [Journal]
  5. François Fages
    Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:68-89 [Journal]
  6. Thom W. Frühwirth
    Constraint Handling Rules [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:90-107 [Journal]
  7. Jean-Louis Imbert
    Linear Constraint Solving in CLP-Languages [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:108-127 [Journal]
  8. Hélène Kirchner
    On the Use of Constraints in Automated Deduction [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:128-146 [Journal]
  9. Baudouin Le Charlier
    Abstract Interpretation and Finite Domain Symbolic Constraints [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:147-170 [Journal]
  10. Ugo Montanari, Francesca Rossi
    Concurrency and Concurrent Constraint Programming [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:171-192 [Journal]
  11. Antoine Rauzy
    Toupie: a Constraint Language for Model Checking [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:193-208 [Journal]
  12. Olivier Ridoux
    Imagining CLP(A, equiv alpha beta) [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:209-230 [Journal]
  13. Michel Rueher
    An Architecture for Cooperating Constraint Solvers on Reals [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:231-250 [Journal]
  14. Gert Smolka
    The Definition of Kernel Oz [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:251-292 [Journal]
  15. Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville
    Design, Implementation, and Evaluation of the Constraint Language cc(FD) [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:293-316 [Journal]
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