Journal: Constraints

Volume 7, Issue 3-4

227 -- 228Joxan Jaffar, Michael J. Maher. Guest Editorial
229 -- 254Kim Marriott, Sitt Sen Chok. QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications
255 -- 288François Laburthe, Yves Caseau. SALSA: A Language for Search Algorithms
289 -- 315Yves Deville, Micha Janssen, Pascal Van Hentenryck. Consistency Techniques in Ordinary Differential Equations
317 -- 331Ludwig Krippahl, Pedro Barahona. PSICO: Solving Protein Structures with Constraint Programming and Optimization
333 -- 349Rolf Backofen, Sebastian Will. Excluding Symmetries in Constraint-Based Search
351 -- 365Filippo Focacci, Andrea Lodi, Michela Milano. Optimization-Oriented Global Constraints
367 -- 385Youssef Hamadi. Optimal Distributed Arc-Consistency
387 -- 405Jean-Charles Régin. Cost-Based Arc Consistency for Global Cardinality Constraints
407 -- 419Javier Larrosa, Pedro Meseguer. Partition-Based Lower Bound for Max-CSP