You have Guest access.
Log In
Volume 1 / 1996 - Volume 17 / 2012
227-228
Editorial Commentary
Guest Editorial
Joxan Jaffar and Michael J. Maher
229-254
QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications
Kim Marriott and Sitt Sen Chok
255-288
SALSA: A Language for Search Algorithms
François Laburthe and Yves Caseau
289-315
Consistency Techniques in Ordinary Differential Equations
Yves Deville, Micha Janssen and Pascal Van Hentenryck
317-331
PSICO: Solving Protein Structures with Constraint Programming and Optimization
Ludwig Krippahl and Pedro Barahona
333-349
Excluding Symmetries in Constraint-Based Search
Rolf Backofen and Sebastian Will
351-365
Optimization-Oriented Global Constraints
Filippo Focacci, Andrea Lodi and Michela Milano
367-385
Optimal Distributed Arc-Consistency
Youssef Hamadi
387-405
Cost-Based Arc Consistency for Global Cardinality Constraints
Jean-Charles Régin
407-419
Partition-Based Lower Bound for Max-CSP
Javier Larrosa and Pedro Meseguer
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info