Principles and Practice of Constraint Programming - CP'99: 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings (Lecture Notes in Computer Science)

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. 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 - The refereed proceedings of the 5th International Conference on Principles and Practice of Constraint Programming. Papers address advances in many aspects of constraint programming and its applications in various areas. Joxan Jaffar, (ed.). Includes Bibliographical References And Index.