Overview

This book constitutes the refereed proceedings of the 9th International Conference on Principles and Practice of Constraint Programming, CP 2003, held in Kinsale, Ireland in September/October 2003.The 48 revised full papers and 34 revised short papers presented together with 4 invited papers and 40 abstracts of contributions to the CP 2003 doctoral program were carefully reviewed and selected from 181 submissions. A wealth of recent results in computing with constraints is addressed ranging from foundational and methodological issues to solving real-world problems in a variety of application fields.

Full Product Details

Author:   Francesca Rossi
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2003 ed.
Volume:   2833
Dimensions:   Width: 15.50cm , Height: 5.10cm , Length: 23.50cm
Weight:   1.524kg
ISBN:  

9783540202028

ISBN 10:   3540202021
Pages:   1008
Publication Date:   24 September 2003
Audience:   General/trade ,  College/higher education ,  Professional and scholarly ,  General ,  Tertiary & Higher Education
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

Invited Papers.- Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search.- Automated Mechanism Design: A New Application Area for Search Algorithms.- Languages versus Packages for Constraint Problem Solving.- Constraint Patterns.- Best Paper.- Control Abstractions for Local Search.- Full Papers.- Improved Algorithms for Counting Solutions in Constraint Satisfaction Problems.- Boosting Chaff's Performance by Incorporating CSP Heuristics.- Efficient CNF Encoding of Boolean Cardinality Constraints.- A Two-Stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows.- Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.- hibiscus: A Constraint Programming Application to Staff Scheduling in Health Care.- Constraint-Based Optimization with the Minimax Decision Criterion.- An Algebraic Approach to Multi-sorted Constraints.- Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms.- Box Constraint Collections for Adhoc Constraints.- Propagation Redundancy in Redundant Modelling.- Soft Constraints: Complexity and Multimorphisms.- Constraint Satisfaction Differential Problems.- A Wealth of SAT Distributions with Planted Assignments.- Redundant Modeling for the QuasiGroup Completion Problem.- Open Constraint Optimization.- Constraints for Breaking More Row and Column Symmetries.- Generic SBDD Using Computational Group Theory.- Using Stochastic Local Search to Solve Quantified Boolean Formulae.- Solving Max-SAT as Weighted CSP.- Constraint Reasoning over Strings.- Tractability by Approximating Constraint Languages.- A Hybrid Constraint Programming and Semidefinite Programming Approach for the Stable Set Problem.- A Constraint-Aided Conceptual Design Environment for Autodesk Inventor.- Fast Bound Consistency for the Global Cardinality Constraint.- Propagating N-Ary Rigid-Body Constraints.- Solving `Still Life' with Soft Constraints and Bucket Elimination.- Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms.- Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints.- Discrepancy-Based Additive Bounding for the AllDifferent Constraint.- A Synthesis of Constraint Satisfaction and Constraint Solving.- Maintaining Longest Paths Incrementally.- Resolution and Constraint Satisfaction.- Generating High Quality Schedules for a Spacecraft Memory Downlink Problem.- Symmetry Breaking Using Stabilizers.- An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint.- Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities.- Using Constraint Programming to Solve the Maximum Clique Problem.- Greater Efficiency for Conditional Constraint Satisfaction.- Incremental Computation of Resource-Envelopes in Producer-Consumer Models.- Approximated Consistency for Knapsack Constraints.- Cost-Based Filtering for Shorter Path Constraints.- Bounded Backtracking for the Valued Constraint Satisfaction Problems.- Consistency and Propagation with Multiset Constraints: A Formal Viewpoint.- Pruning while Sweeping over Task Intervals.- Improving Backtrack Search for Solving the TCSP.- Certainty Closure.- Poster Papers.- clp(pdf(y)): Constraints for Probabilistic Reasoning in Logic Programming.- To Be or Not to Be ... a Global Constraint.- Constraint Programming for Modelling and Solving Modal Satisfiability.- Distributed Forward Checking.- A New Class of Binary CSPs for which Arc-Consistency Is a Decision Procedure.- Semi-automatic Modeling by Constraint Acquisition.- Structured vs. Unstructured Large Neighborhood Search: A Case Study on Job-Shop Scheduling Problems with Earliness and Tardiness Costs.- Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblems.- Toy(FD): Sketch of Operational Semantics.- Scheduling in the Face of Uncertain Resource Consumption and Utility.- Supertree Construction with Constraint Programming.- (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver.- Reduce and Assign: A Constraint Logic Programming and Local Search Integration Framework to Solve Combinatorial Search Problems.- A Canonicity Test for Configuration.- Improved Algorithms for Max-restricted Path Consistency.- CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions.- A Two-Level Search Strategy for Packing Unequal Circles into a Circle Container.- Unrestricted Nogood Recording in CSP Search.- Constraints over Ontologies.- Using Constraints for Exploring Catalogs.- Intermediate (Learned) Consistencies.- Semi-independent Partitioning: A Method for Bounding the Solution to COP's.- Boosting as a Metaphor for Algorithm Design.- An Efficient Filtering Algorithm for Disjunction of Constraints.- INCOP: An Open Library for INcomplete Combinatorial OPtimization.- A Composition Algorithm for Very Hard Graph 3-Colorability Instances.- Efficient Representation of Discrete Sets for Constraint Programming.- Applying Interchangeability Techniques to the Distributed Breakout Algorithm.- Symmetry Breaking in Graceful Graphs.- Tree Local Search.- A SAT-Based Approach to Multiple Sequence Alignment.- Maintaining Dominance Consistency.- Terminating Decision Algorithms Optimally.- Scene Reconstruction Based on Constraints: Details on the Equation System Decomposition.- Doctoral Abstracts.- A New Approach to Solving SAT-Encoded Binary CSPs.- FeReRA: A Multi-agent Approach to Constraint Satisfaction.- Semantic Decomposition for Solving Distance Constraints.- Using Constraint Programming and Simulation for Execution Monitoring and On-Line Rescheduling with Uncertainty.- On the Enhancement of the Informed Backtracking Algorithm.- Extending CLP with Metaheuristics.- Self Configuring Constraint Programming Systems.- Interactive Tradeoff Generation.- Introducing esra, a Relational Language for Modelling Combinatorial Problems (Abstract).- Abstracting Constraints Using Constraints.- Sensitivity Analysis in CSPs.- Solution Stability in Constraint Satisfaction Problems.- distn: An Euclidean Distance Global Constraint.- Algorithmic Mechanism Design and Constraints.- Preference Constraints: New Global Soft Constraints Dedicated to Preference Binary Relations.- Optimising the Representation and Evaluation of Semiring Combination Constraints.- Symmetry Breaking Ordering Constraints.- Observation of Constraint Programs.- Search Programming.- Exploiting Microstructure in CSPs.- Using Case-Based Reasoning to Write Constraint Programs.- Reformulation Techniques for a Class of Permutation Problems.- NuSBDS: An Easy to Use Symmetry Breaking System.- Interactivity in Constraint Programming.- Identifying Inconsistent CSPs by Relaxation.- Useful Explanations.- Teacher and Learner Profiles for Constraint Acquisition.- Comparison of Symmetry Breaking Methods.- Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT.- Search for Mathematical Objects.- Explanations for Global Constraints.- Watching Clauses in Quantified Boolean Formulae.- Distributed Constraint-Based Railway Simulation.- Dynamic Step Size Adjustment in Iterative Deepening Search.- Learning Good Variable Orderings.- An Adaptive Controller for Real-Time Resolution of the Vehicle Routing Problem.- ?-Dynamic Controllability of Simple Temporal Problems with Preferences and Uncertainty.- Computing Explanations for Global Scheduling Constraints.- Restart Strategies: Analysis and Simulation.- OpenSolver: A Coordination-Enabled Abstract Branch-and-Prune Tree Search Engine.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions