Principles and Practice of Constraint Programming - CP'96

On confluence of Constraint Handling Rules.- A labelling arc consistency method for functional constraints.- Constraint satisfaction in optical routing for passive wavelength-routed networks.- Using CSP look-back techniques to solve exceptionally hard SAT instances.- MAC and combined heuristics: Two reasons to forsake FC (and CBJ?) on hard problems.- The independence property of a class of set constraints.- Speeding up constraint propagation by redundant modeling.- A constraint-based interactive train rescheduling tool.- Local search and the number of solutions.- Derivation of constraints and database relations.- Constraint programming: an efficient and practical approach to solving the job-shop problem.- An instance of adaptive constraint propagation.- An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem.- Empirical studies of heuristic local search for constraint solving.- Defeasibility in CLP( $$mathcal{Q}$$ ) through generalized slack variables.- Inference duality as a basis for sensitivity analysis.- Generalized local propagation: A framework for solving constraint hierarchies.- Transformations between HCLP and PCSP.- A test for tractability.- Combination of constraint systems II: Rational amalgamation.- Tractable disjunctions of linear constraints.- Exploiting the use of DAC in MAX-CSP.- A new approach for Weighted Constraint Satisfaction: Theoretical and computational results.- Towards a more efficient stochastic constraint solver.- A view of local search in constraint programming.- From quasi-solutions to solution: An Evolutionary algorithm to solve CSP.- Existential variables and local consistency in finite domain constraint problems.- Logical semantics of concurrent constraint programming.- Solving non-binary convex CSPs in continuous domains.- An experimental comparison of three modified DeltaBlue algorithms.- Constraint Logic Programming over unions of Constraint theories.- Analysis of Hybrid systems in CLP(