Principle and Practice of Constraint Programming - CP 2006

Invited Papers.- Global Optimization of Probabilistically Constrained Linear Programs.- Algorithms and Constraint Programming.- Interval Analysis and Robotics.- Constraint Based Resilience Analysis.- Regular Papers.- Infinite Qualitative Simulations by Means of Constraint Programming.- Algorithms for Stochastic CSPs.- Graph Properties Based Filtering.- The ROOTS Constraint.- CoJava: Optimization Modeling by Nondeterministic Simulation.- An Algebraic Characterisation of Complexity for Valued Constraint.- Typed Guarded Decompositions for Constraint Satisfaction.- Propagation in CSP and SAT.- The Minimum Spanning Tree Constraint.- Impact of Censored Sampling on the Performance of Restart Strategies.- Watched Literals for Constraint Propagation in Minion.- Inner and Outer Approximations of Existentially Quantified Equality Constraints.- Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms.- Adaptive Clause Weight Redistribution.- Localization of an Underwater Robot Using Interval Constraint Propagation.- Approximability of Integer Programming with Generalised Constraints.- When Constraint Programming and Local Search Solve the Scheduling Problem of Electricité de France Nuclear Power Plant Outages.- Generalized Arc Consistency for Positive Table Constraints.- Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs.- Boosting Open CSPs.- Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs).- Distributed Constraint-Based Local Search.- High-Level Nondeterministic Abstractions in C++.- A Structural Characterization of Temporal Dynamic Controllability.- When Interval Analysis Helps Inter-block Backtracking.- Randomization in Constraint Programming for Airline Planning.- Towards an Efficient SAT Encoding for Temporal Reasoning.- Decomposition of Multi-operator Queries on Semiring-Based Graphical Models.- Dynamic Lex Constraints.- Generalizing AllDifferent: The SomeDifferent Constraint.-