Principles and Practice of Constraint Programming - CP 2002

Programming.- Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State.- The Adaptive Constraint Engine.- Indexical-Based Solver Learning.- Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions.- Restart Policies with Dependence among Runs: A Dynamic Programming Approach.- Innovative Application.- Visopt ShopFloor: On the Edge of Planning and Scheduling.- Constraint Programming Contribution to Benders Decomposition: A Case Study.- Modeling Camera Control with Constrained Hypertubes.- Robust and Parallel Solving of a Network Design Problem.- Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints.- Communication and Computation in Distributed CSP Algorithms.- Posters.- Continuous First-Order Constraint Satisfaction with Equality and Disequality Constraints.- A Relaxation of the Cumulative Constraint.- Improving GSAT Using 2SAT.- A Relational Constraint Solver for Model-Based Engineering.- Conflict-Based Repair Techniques for Solving Dynamic Scheduling Problems.- Scaling Properties of Pure Random Walk on Random 3-SAT.- Criticality and Parallelism in Structured SAT Instances.- Characterizing SAT Problems with the Row Convexity Property.- Interchangeability in Soft CSPs.- On Constraint Problems with Incomplete or Erroneous Data.- Heuristic Constraint Propagation.- An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint.- Algebraic Properties of CSP Model Operators.- AC-3d an Efficient Arc-Consistency Algorithm with a Low Space-Complexity.- Doctoral Program.- Integrating Search Objects in Asynchronous Constraint Solving.- Distributed Constraint-Based Railway Simulation.- Symmetry Breaking in Peaceably Coexisting Armies of Queens.- Batch Processing with Sequence Dependent Setup Times.- Interactive Heuristic Search Algorithm.- On Constraint Problems with Incomplete or Erroneous Data.- Design of a New Metaheuristic for MAXSAT Problems.- Disjunctive and Continuous Constraint Satisfaction Problems.- Tuning Randomization in Backtrack Search SAT Algorithms.- Constraint Solving in Test-Data Generation.- Improving Cost Calculations for Global Constraints in Local Search.- A Modeling Framework for Constraints.- A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design.- A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles.- Using Constraint Propagation to Accelerate Column Generation in Aircraft Scheduling.- Solving and Learning Soft Temporal Constraints; Ceteris Paribus Statements Represented as Soft Constraints Problems.- A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form.- Models of Injection Problems.- Partial Symmetry Breaking.- Automatic Generation of Implied Clauses for SAT.- Bridging the Gap between SAT and CSP.- Reducing Symmetry in Matrix Models.- Studying Interchangeability in Constraint Satisfaction Problems.- Constraint Modeling in the Context of Academic Task Assignment.- Design Tradeoffs for Autonomous Trading Agents.