Journals in DBLP
Frédéric Benhamou Interval Constraint Logic Programming [Citation Graph (0, 0)][DBLP ] Journal ] Alexander Bockmayr Solving Pseudo-Boolean Constraints [Citation Graph (0, 0)][DBLP ] Journal ] Philippe Codognet , Giuseppe Nardiello Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods [Citation Graph (0, 0)][DBLP ] Journal ] Hubert Comon Constraints in Term Algebras: An Overview of Constraint Solving Techniques [Citation Graph (0, 0)][DBLP ] Journal ] François Fages Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages [Citation Graph (0, 0)][DBLP ] Journal ] Thom W. Frühwirth Constraint Handling Rules [Citation Graph (0, 0)][DBLP ] Journal ] Jean-Louis Imbert Linear Constraint Solving in CLP-Languages [Citation Graph (0, 0)][DBLP ] Journal ] Hélène Kirchner On the Use of Constraints in Automated Deduction [Citation Graph (0, 0)][DBLP ] Journal ] Baudouin Le Charlier Abstract Interpretation and Finite Domain Symbolic Constraints [Citation Graph (0, 0)][DBLP ] Journal ] Ugo Montanari , Francesca Rossi Concurrency and Concurrent Constraint Programming [Citation Graph (0, 0)][DBLP ] Journal ] Antoine Rauzy Toupie: a Constraint Language for Model Checking [Citation Graph (0, 0)][DBLP ] Journal ] Olivier Ridoux Imagining CLP(A, equiv alpha beta) [Citation Graph (0, 0)][DBLP ] Journal ] Michel Rueher An Architecture for Cooperating Constraint Solvers on Reals [Citation Graph (0, 0)][DBLP ] Journal ] Gert Smolka The Definition of Kernel Oz [Citation Graph (0, 0)][DBLP ] Journal ] Pascal Van Hentenryck , Vijay A. Saraswat , Yves Deville Design, Implementation, and Evaluation of the Constraint Language cc(FD) [Citation Graph (0, 0)][DBLP ] Journal ] 