Journals in DBLP
1994, volume: , number:
Frédéric Benhamou Interval Constraint Logic Programming [Citation Graph (0, 0)][DBLP ] , 1994, v:, n:, pp:1-21 [Journal ] Alexander Bockmayr Solving Pseudo-Boolean Constraints [Citation Graph (0, 0)][DBLP ] , 1994, v:, n:, pp:22-38 [Journal ] 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 ] Hubert Comon Constraints in Term Algebras: An Overview of Constraint Solving Techniques [Citation Graph (0, 0)][DBLP ] , 1994, v:, n:, pp:62-67 [Journal ] 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 ] Thom W. Frühwirth Constraint Handling Rules [Citation Graph (0, 0)][DBLP ] , 1994, v:, n:, pp:90-107 [Journal ] Jean-Louis Imbert Linear Constraint Solving in CLP-Languages [Citation Graph (0, 0)][DBLP ] , 1994, v:, n:, pp:108-127 [Journal ] Hélène Kirchner On the Use of Constraints in Automated Deduction [Citation Graph (0, 0)][DBLP ] , 1994, v:, n:, pp:128-146 [Journal ] Baudouin Le Charlier Abstract Interpretation and Finite Domain Symbolic Constraints [Citation Graph (0, 0)][DBLP ] , 1994, v:, n:, pp:147-170 [Journal ] Ugo Montanari , Francesca Rossi Concurrency and Concurrent Constraint Programming [Citation Graph (0, 0)][DBLP ] , 1994, v:, n:, pp:171-192 [Journal ] Antoine Rauzy Toupie: a Constraint Language for Model Checking [Citation Graph (0, 0)][DBLP ] , 1994, v:, n:, pp:193-208 [Journal ] Olivier Ridoux Imagining CLP(A, equiv alpha beta) [Citation Graph (0, 0)][DBLP ] , 1994, v:, n:, pp:209-230 [Journal ] Michel Rueher An Architecture for Cooperating Constraint Solvers on Reals [Citation Graph (0, 0)][DBLP ] , 1994, v:, n:, pp:231-250 [Journal ] Gert Smolka The Definition of Kernel Oz [Citation Graph (0, 0)][DBLP ] , 1994, v:, n:, pp:251-292 [Journal ] 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 ]