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

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 -