Principles and Practice of Constraint Programming – CP’99: 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings

Krzysztof R. Apt (auth.), Joxan Jaffar (eds.)3540666265, 9783540666264

This book constitutes the refereed proceedings of the 5th International Conference on Principles and Practice of Constraint Programmingm CP’99, held in Alexandria, Virginia, USA in October 1999. The 30 revised full papers presented together with three invited papers and eight posters were carefully reviewed and selected for inclusion in the book from a total of 97 papers submitted. All current aspects of constraint programming and applications in various areas are addressed.

---

Table of contents :
Front Matter….Pages –
The Rough Guide to Constraint Propagation….Pages 1-23
Non-binary Constraints….Pages 24-27
The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization….Pages 28-42
Operational Equivalence of CHR Programs and Constraints….Pages 43-57
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains….Pages 58-72
Excluding Symmetries in Constraint-Based Search….Pages 73-87
On Forward Checking for Non-binary Constraint Satisfaction….Pages 88-102
Enforcing Arc Consistency on Global Constraints by Solving Subproblems on the Fly….Pages 103-117
Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP….Pages 118-128
Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time….Pages 129-143
A Meta-Heuristic Factory for Vehicle Routing Problems….Pages 144-158
Closure Functions and Width 1 Problems….Pages 159-173
An Overview of HAL….Pages 174-188
Cost-Based Domain Filtering….Pages 189-203
Resource Allocation in Networks Using Abstraction and Constraint Satisfaction Techniques….Pages 204-218
Optimal Distributed Arc-Consistency….Pages 219-233
The Goldilocks Problem….Pages 234-245
Multistep Filtering Operators for Ordinary Differential Equations….Pages 246-260
A Framework for Constraint Programming Based Column Generation….Pages 261-274
Improving a Heuristic Repair Method for Large-Scale School Timetabling Problems….Pages 275-288
Applying Constraint Programming to Protein Structure Determination….Pages 289-302
Partition-Based Lower Bound for Max-CSP….Pages 303-315
Constraint Diagram Reasoning….Pages 316-330
Automatic Generation of Music Programs….Pages 331-345
Search Procedures and Parallelism in Constraint Programming….Pages 346-360
Ensuring a Relevant Visiting Order of the Leaf Nodes during a Tree Search….Pages 361-374
Tight Cooperation and Its Application in Piecewise Linear Optimization….Pages 375-389
Arc Consistency for Global Cardinality Constraints with Costs….Pages 390-404
The Brélaz Heuristic and Optimal Static Orderings….Pages 405-418
A Fixpoint Definition of Dynamic Constraint Satisfaction….Pages 419-433
Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation….Pages 434-445
On the Behavior and Application of Constraint Weighting….Pages 446-460
Simulated Annealing with Asymptotic Convergence for Nonlinear Constrained Global Optimization….Pages 461-475
On SAT01 Problem….Pages 476-477
An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support….Pages 478-479
CSPlib: A Benchmark Library for Constraints….Pages 480-481
Validated Constraint Compilation….Pages 482-483
Automated Theorem Proving with Disjunctive Constraints….Pages 484-485
Rewriting Numeric Constraint Satisfaction Problems for Consistency Algorithms….Pages 486-487
Intelligent Domain Splitting for CSPs with Ordered Domains….Pages 488-489
Frequency Assignment for Cellular Mobile Systems Using Constraint Satisfaction Techniques….Pages 490-491
Back Matter….Pages –