## Principles and practice of constraint programming--CP 2007 [electronic resource]: 13th international conference, CP 2007, Providence, RI, USA, September 23-27, 2007 : proceedings (Google eBook)This book constitutes the refereed proceedings of the 13th International Conference on Principles and Practice of Constraint Programming, CP 2007, held in Providence, RI, USA, in September 2007. The 51 revised full papers and 14 revised short papers presented together with 8 application papers and the abstracts of 2 invited lectures were carefully reviewed and selected from 165 submissions. All current issues of computing with constraints are addressed, ranging from methodological and foundational aspects - using algorithms, environments, languages, models and systems - to solving real-world p. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

1 | |

2 | |

3 | |

18 | |

33 | |

Exploring Different ConstraintBased Modelings for Program Verification | 49 |

An Application of Constraint Programming to Generating Detailed Operations Schedules for Steel Manufacturing | 64 |

An Efficient Model and Strategy for the Steel Mill Slab Design Problem | 77 |

Towards Robust CNF Encodings of Cardinality Constraints | 483 |

ANDOR Multivalued Decision Diagrams for Constraint Optimization | 498 |

Parallelizing Constraint Programs Transparently | 514 |

Towards a Standard CP Modelling Language | 529 |

Propagation Lazy Clause Generation | 544 |

Boosting Probabilistic Choice Operators | 559 |

A Multiengine Solver for Quantified Boolean Formulas | 574 |

Decomposing Global Grammar Constraints | 590 |

ConstraintBased Temporal Reasoning for ELearning with LODE | 90 |

Scheduling for Cellular Manufacturing | 105 |

A Constraint Store Based on Multivalued Decision Diagrams | 118 |

GAC Via Unit Propagation | 133 |

Solution Directed Backjumping for QCSP | 148 |

Reformulating CSPs for Scalability with Application to Geospatial Reasoning | 164 |

A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic kDimensional Objects | 180 |

Local Symmetry Breaking During Search in CSPs | 195 |

Encodings of the SEQUENCE Constraint | 210 |

On Inconsistent ClauseSubsets for MaxSAT Solving | 225 |

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming | 241 |

Tradeoffs in the Complexity of Backdoor Detection | 256 |

ModelDriven Visualizations of ConstraintBased Local Search | 271 |

Dealing with Incomplete Preferences in Soft Constraint Problems | 286 |

Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure | 301 |

Provide a FinerGrained Explanation of Unsatisfiability | 317 |

An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search | 332 |

Limitations of Restricted Branching in Clause Learning | 348 |

Dynamic Management of Heuristics for Solving Structured CSPs | 364 |

A Compression Algorithm for Large Arity Extensional Constraints | 379 |

Valid Inequality Based Lower Bounds for WCSP | 394 |

Advisors for Incremental Propagation | 409 |

Breaking Symmetry of Interchangeable Variables and Values | 423 |

Path Consistency by Dual Consistency | 438 |

Pruning by Inconsistent Partial State Dominance | 453 |

Scheduling Conditional Task Graphs | 468 |

Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT | 605 |

BoundConsistent Deviation Constraint | 620 |

Constructive Interval Disjunction | 635 |

An LPBased Heuristic for Optimal Planning | 651 |

A CostBased Model and Algorithms for Interleaving Solving and Elicitation of CSPs | 666 |

On Universal Restart Strategies for Backtracking Search | 681 |

Hierarchical Hardness Models for SAT | 696 |

The Design and Analysis of an Algorithm Portfolio for SAT | 712 |

Filtering for Subgraph Isomorphism | 728 |

Solution Counting Algorithms for ConstraintCentered Search Heuristics | 743 |

MinDomain Ordering for Asynchronous Backtracking | 758 |

A Security Scenario | 773 |

An Analysis of Slow Convergence in Interval Propagation | 790 |

Hierarchies and Collapses | 798 |

Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks | 806 |

The LogSupport Encoding of CSP into SAT | 815 |

Sampling Strategies and Variable Selection in Weighted Degree Heuristics | 831 |

A Case for Simple SAT Solvers | 839 |

CPBased Local Branching | 847 |

Strong Controllability of Disjunctive Temporal Problems with Uncertainty | 856 |

Exploiting SingleCycle Symmetries in BranchandPrune algorithms | 864 |

Constraint Symmetry for the Soft CSP | 872 |

Breaking Value Symmetry | 880 |

888 | |

### Common terms and phrases

advisors approach AQME arity Artiﬁcial Intelligence assignment auxiliary variables backdoor backtracking binary Boolean Boolean circuit branching clause learning complexity computed conditional symmetry conﬁguration conﬂict consider constraint network constraint programming constraint propagation constraint satisfaction problems corresponding cost decision decomposition deﬁned Deﬁnition denotes diﬀerent disjunction DPLL edge eﬀect eﬃcient encoding example ﬁltering algorithm ﬁnd ﬁnding ﬁrst ﬁxed formula function given graph graph coloring groupoid Heidelberg heuristic hypergraph implementation inconsistent subsets input instances integer iteration label linear literals LNCS lower bound method minimal MiniSat MiniZinc node Nogood NP-hard number of variables optimal solution parameter partial performance preference propagation pruning QCSP random relaxation represent restart runtime SAT solver satisﬁed scheduling search tree Section sequence solving speciﬁc Springer straints strategy structure subproblem symmetry breaking Table techniques Theorem treewidth tuples unit propagation unsatisﬁable visualization WCSP

### Popular passages

Page 863 - This material is based in part upon work supported by the Defense Advanced Research Projects Agency (DARPA) under Contract No.

Page 33 - The work described in this paper was substantially supported by a grant from the Research Grants Council of the Hong Kong Special Administrative Region, China (Project No.