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

Report Date:

1997-06-01

Pagination or Media Count:

593.0

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