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

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1997
Accession Number
ADA326155

Entities

People

  • Pascal Van Hentenryck

Organizations

  • Brown University

Tags

Communities of Interest

  • Advanced Electronics
  • C4I
  • Energy and Power Technologies
  • Human Systems

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Computational Science
  • Computer Programming
  • Computer Science
  • Computers
  • Databases
  • Evolutionary Algorithms
  • Information Science
  • Integer Programming
  • Linear Programming
  • Network Science
  • Operations Research
  • Optimization
  • Simplex Method
  • Software Development
  • Systems Engineering
  • Trees (Data Structures)

Fields of Study

  • Computer science

Readers

  • Academic Conference Management
  • Operations Research

Technology Areas

  • AI & ML
  • AI & ML - Bayesian Inference
  • AI & ML - Machine Learning Algorithms