This book constitutes the refereed proceedings ofthe 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.
This book constitutes the refereed proceedings ofthe 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.Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Artikelnr. des Verlages: 10705084, 978-3-540-66626-4
1999
Seitenzahl: 516
Erscheinungstermin: 29. September 1999
Englisch
Abmessung: 235mm x 155mm x 28mm
Gewicht: 661g
ISBN-13: 9783540666264
ISBN-10: 3540666265
Artikelnr.: 09232608
Inhaltsangabe
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 SatisfiabilityProblems 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.
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 SatisfiabilityProblems 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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
