Principles and Practice of Constraint Programming - CP 2006: 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings

Front Matter....Pages -
Global Optimization of Probabilistically Constrained Linear Programs....Pages 1-1
Algorithms and Constraint Programming....Pages 2-14
Interval Analysis and Robotics....Pages 15-15
Constraint Based Resilience Analysis....Pages 16-28
Infinite Qualitative Simulations by Means of Constraint Programming....Pages 29-43
Algorithms for Stochastic CSPs....Pages 44-58
Graph Properties Based Filtering....Pages 59-74
The ROOTS Constraint....Pages 75-90
CoJava: Optimization Modeling by Nondeterministic Simulation....Pages 91-106
An Algebraic Characterisation of Complexity for Valued Constraint....Pages 107-121
Typed Guarded Decompositions for Constraint Satisfaction....Pages 122-136
Propagation in CSP and SAT....Pages 137-151
The Minimum Spanning Tree Constraint....Pages 152-166
Impact of Censored Sampling on the Performance of Restart Strategies....Pages 167-181
Watched Literals for Constraint Propagation in Minion....Pages 182-197
Inner and Outer Approximations of Existentially Quantified Equality Constraints....Pages 198-212
Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms....Pages 213-228
Adaptive Clause Weight Redistribution....Pages 229-243
Localization of an Underwater Robot Using Interval Constraint Propagation....Pages 244-255
Approximability of Integer Programming with Generalised Constraints....Pages 256-270
When Constraint Programming and Local Search Solve the Scheduling Problem of Electricité de France Nuclear Power Plant Outages....Pages 271-283
Generalized Arc Consistency for Positive Table Constraints....Pages 284-298
Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs....Pages 299-313
Boosting Open CSPs....Pages 314-328
Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs)....Pages 329-343
Distributed Constraint-Based Local Search....Pages 344-358
High-Level Nondeterministic Abstractions in C++ ....Pages 359-374
A Structural Characterization of Temporal Dynamic Controllability....Pages 375-389
When Interval Analysis Helps Inter-block Backtracking....Pages 390-405
Randomization in Constraint Programming for Airline Planning....Pages 406-420
Towards an Efficient SAT Encoding for Temporal Reasoning....Pages 421-436
Decomposition of Multi-operator Queries on Semiring-Based Graphical Models....Pages 437-452
Dynamic Lex Constraints....Pages 453-467
Generalizing AllDifferent : The SomeDifferent Constraint....Pages 468-483
Mini-bucket Elimination with Bucket Propagation....Pages 484-498
Constraint Satisfaction with Bounded Treewidth Revisited....Pages 499-513
Preprocessing QBF....Pages 514-529
The Theory of Grammar Constraints....Pages 530-544
Constraint Programming Models for Graceful Graphs....Pages 545-559
A Simple Distribution-Free Approach to the Max k -Armed Bandit Problem....Pages 560-574
Generating Propagators for Finite Set Constraints....Pages 575-589
Compiling Finite Linear CSP into SAT....Pages 590-603
Differentiable Invariants....Pages 604-619
Revisiting the Sequence Constraint....Pages 620-634
 BlockSolve : A Bottom-Up Approach for Solving Quantified CSPs....Pages 635-649
General Symmetry Breaking Constraints....Pages 650-664
Inferring Variable Conflicts for Local Search....Pages 665-669
Reasoning by Dominance in Not-Equals Binary Constraint Networks....Pages 670-674
Distributed Stable Matching Problems with Ties and Incomplete Lists....Pages 675-679
Soft Arc Consistency Applied to Optimal Planning....Pages 680-684
A Note on Low Autocorrelation Binary Sequences....Pages 685-689
Relaxations and Explanations for Quantified Constraint Satisfaction Problems....Pages 690-694
Static and Dynamic Structural Symmetry Breaking....Pages 695-699
The Modelling Language Zinc....Pages 700-705
A Filter for the Circuit Constraint....Pages 706-710
A New Algorithm for Sampling CSP Solutions Uniformly at Random....Pages 711-715
Sports League Scheduling: Enumerative Search for Prob026 from CSPLib....Pages 716-720
Dynamic Symmetry Breaking Restarted....Pages 721-725
The Effect of Constraint Representation on Structural Tractability....Pages 726-730
Failure Analysis in Backtrack Search for Constraint Satisfaction....Pages 731-735
Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations....Pages 736-740
An Extension of Complexity Bounds and Dynamic Heuristics for Tree-Decompositions of CSP....Pages 741-745
Clique Inference Process for Solving Max-CSP....Pages 746-750
Global Grammar Constraints....Pages 751-755
Constraint Propagation for Domain Bounding in Distributed Task Scheduling....Pages 756-760
Interactive Distributed Configuration....Pages 761-765
Retroactive Ordering for Dynamic Backtracking....Pages 766-771
Back Matter....Pages -