Principles and Practice of Constraint Programming - CP 2001

Protein Side-Chain Placement Problem.- Fast, Constraint-Based Threading of HP-Sequences to Hydrophobic Cores.- One Flip per Clock Cycle.- Solving Constraints over Floating-Point Numbers.- Optimal Pruning in Parametric Differential Equations.- Interaction of Constraint Programming and Local Search for Optimisation Problems.- Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency.- Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem.- The Expressive Power of Binary Linear Programming.- Constraint Generation via Automated Theory Formation.- The Traveling Tournament Problem Description and Benchmarks.- Deriving Explanations and Implications for Constraint Satisfaction Problems.- Generating Tradeoffs for Interactive Constraint-Based Configuration.- Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells.- Composition Operators for Constraint Propagation:An Application to Choco.- Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination.- GAC on Conjunctions of Constraints.- Dual Models of Permutation Problems.- Boosting Local Search with Artificial Ants.- Fast Optimal Instruction Scheduling for Single-Issue Processors with Arbitrary Latencies.- Evaluation of Search Heuristics for Embedded System Scheduling Problems.- Interpreting Sloppy Stick Figures with Constraint-Based Subgraph Matching.- Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View.- A Dynamic Distributed Constraint Satisfaction Approach to Resource Allocation.- A Constraint Optimization Framework for Mapping a Digital Signal Processing Application onto a Parallel Architecture.- iOpt: A Software Toolkit for Heuristic Search Methods.- AbsCon: A Prototype to Solve CSPs with Abstraction.- A Constraint Engine for Manufacturing Process Planning.- On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems.- Automatic Generation of Implied Clauses for SAT.- Verification of Infinite-State Systems by Specialization of CLP Programs.- Partially Ordered Constraint Optimization Problems.- Translations for Comparing Soft Frameworks.- Counting Satisfiable k-CNF Formulas.- High-Level Modelling and Reformulation of Constraint Satisfaction Problems.- Distributed Constraint Satisfaction as a Computational Model of Negotiation via Argumentation.- Aircraft Assignment Using Constraint Programming.- Labelling Heuristics for CSP Application Domains.- Improving SAT Algorithms by Using Search Pruning Techniques.- Optimum Symmetry Breaking in CSPs Using Group Theory.- Distributed Dynamic Backtracking.- Constraint Programming for Distributed Resource Allocation.- Exploiting the CSP Structure by Interchangeability.- Constraint Processing Techniques for Model-Based Reasoning about Dynamic Systems.- Distributed Constraint Satisfaction with Cooperating Asynchronous Solvers.- Building Negative Reduced Cost Paths Using Constraint Programming.- An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm.- Partial Stable Generated Models of Generalized Logic Programs with Constraints.- Heterogeneous Constraint Problems An Outline of the Field of Work.- Comparing SAT Encodings for Model Checking.- Asynchronous Search for Numeric DisCSPs.- Temporal Concurrent Constraint Programming.