Principles and Practice of Constraint Programming - CP'99: 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings by Joxan JaffarPrinciples and Practice of Constraint Programming - CP'99: 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings by Joxan Jaffar

Principles and Practice of Constraint Programming - CP'99: 5th International Conference, CP'99…

EditorJoxan Jaffar

Paperback | September 29, 1999

Pricing and Purchase Info

$193.95

Earn 970 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Principles and Practice of Constraint Programming - CP'99: 5th International Conference, CP'99…Format:PaperbackDimensions:505 pagesPublished:September 29, 1999Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540666265

ISBN - 13:9783540666264

Look for similar items by category:

Reviews

Table of Contents

Invited Papers.- The Rough Guide to Constraint Propagation.- Non-binary Constraints.- The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization.- Regular Papers.- Operational Equivalence of CHR Programs and Constraints.- Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains.- Excluding Symmetries in Constraint-Based Search.- On Forward Checking for Non-binary Constraint Satisfaction.- Enforcing Arc Consistency on Global Constraints by Solving Subproblems on the Fly.- Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP.- Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time.- A Meta-Heuristic Factory for Vehicle Routing Problems.- Closure Functions and Width 1 Problems.- An Overview of HAL.- Cost-Based Domain Filtering.- Resource Allocation in Networks Using Abstraction and Constraint Satisfaction Techniques.- Optimal Distributed Arc-Consistency.- The Goldilocks Problem.- Multistep Filtering Operators for Ordinary Differential Equations.- A Framework for Constraint Programming Based Column Generation.- Improving a Heuristic Repair Method for Large-Scale School Timetabling Problems.- Applying Constraint Programming to Protein Structure Determination.- Partition-Based Lower Bound for Max-CSP.- Constraint Diagram Reasoning.- Automatic Generation of Music Programs.- Search Procedures and Parallelism in Constraint Programming.- Ensuring a Relevant Visiting Order of the Leaf Nodes during a Tree Search.- Tight Cooperation and Its Application in Piecewise Linear Optimization.- Arc Consistency for Global Cardinality Constraints with Costs.- The Brélaz Heuristic and Optimal Static Orderings.- A Fixpoint Definition of Dynamic Constraint Satisfaction.- Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation.- On the Behavior and Application of Constraint Weighting.- Simulated Annealing with Asymptotic Convergence for Nonlinear Constrained Global Optimization.- Poster Papers.- On SAT01 Problem.- An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support.- CSPlib: A Benchmark Library for Constraints.- Validated Constraint Compilation.- Automated Theorem Proving with Disjunctive Constraints.- Rewriting Numeric Constraint Satisfaction Problems for Consistency Algorithms.- Intelligent Domain Splitting for CSPs with Ordered Domains.- Frequency Assignment for Cellular Mobile Systems Using Constraint Satisfaction Techniques.