Principles and Practice of Constraint Programming - CP96. Second International Conference, CP96, Cambridge, MA, USA, August 19-22, 1996, Proceedings.

Abstract : The proceedings of the conference 'Principles and Practice of Constraint Programming -- CP 96' are attached. Partial Contents include: (1) An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem; (2) Empirical Studies of Heuristic Local Search for Constraint Solving; (3) Inference Duality as a Basis for Sensitivity Analysis; (4) Transformation Between HCLP and PCSP; (5) A New Approach for Weighted Constraint Satisfaction: Theoretical and Computational Results; (6) Towards a More Efficient Stochastic Constraint Solver; (7) A View of Local Search in Constraint Programming; (8) From Quasi-Solutions to Solution: An Evolutionary Algorithm to Solve CSP; (9) Logical Semantics of Concurrent Constraint Programming; (10) Constraint Logic Programming over Unions of Constraint Theories; (11) On Query Languages for Linear Queries Definable with Polynomial Constraints; (12) Analysis of Heuristic Methods for Partial Constraint Satisfaction Problems; (13) Solving Satisfiability Problems Using Field Programmable Gate Arrays: First Results; and (14) A Constraint Program for Solving the Job-Shop Problem