Accession Number : ADA326155

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

Descriptive Note : Final rept. 15 Apr 96-30 Sep 96,

Corporate Author : BROWN UNIV PROVIDENCE RI

Personal Author(s) : Van Hentenryck, Pascal

PDF Url : ADA326155

Report Date : JUN 1997

Pagination or Media Count : 593

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

Descriptors :   *COMPUTER PROGRAMMING, DATA BASES, ALGORITHMS, SYMPOSIA, OPTIMIZATION, STOCHASTIC PROCESSES, COMPUTER LOGIC, INTEGER PROGRAMMING, CONCURRENT ENGINEERING, HEURISTIC METHODS, SYSTEMS ANALYSIS, FUZZY LOGIC.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE