Trends in Constraint Programming

by Benhamou, Fré; dé; ric; Jussien, Narendra; O'Sullivan, Barry A.

• ISBN13: 9781905209972
• ISBN10: 1905209975
• Edition: 1st
• Format: Hardcover
• Copyright: 2007-05-25
• Publisher: Wiley-ISTE

Summary

This title brings together the best papers on a range of topics raised at the annual International Conference on Principles and Practice of Constraint Programming. This conference provides papers and workshops which produce new insights, concepts and results which can then be used by those involved in this area to develop their own work.

Author Biography

Frédéric Benhamou works at the University of Nantes, France. Narendra Jussien works at the Ecole des Mines de Nantes, France. Barry O'Sullivan works at the University of Cork, Ireland.

Table of Contents

Introduction.

The Past, Present and Future of Constraint Programming

Constraint Programming as Declarative Algorithmics.

Constraint Programming Tools.

The Next 10 Years of Constraint Programming.

Constraint Propagation and Implementation.

On the First SAT/CP Integration Workshop.

Constraint-based Methods for Bioinformatics.

Constraint Modeling and Reformulation.

Improved Models and Reformulation.

The Automatic Generation of Redundant Representations and Channeling Constraints.

Symmetry in Constraint Satisfaction Problems.

GAPLex: Generalized Static Symmetry Breaking.

Symmetry Breaking in Subgraph Pattern Matching.

Interval Analysis, Constraint Propagation and Applications.

Modeling and Solving of a Radio Antenna Deployment Support Application.

Guaranteed Numerical Injectivity Test via Interval Analysis.

An Interval-based Approximation Method for Discrete Changes in Hybrid cc.

Local Search Techniques in Constraint Satisfaction.

Combining Adaptive Noise and Look-Ahead in Local Search for SAT.

Finding Large Cliques using SAT Local Search.

Multi-Point Constructive Search for Constraint Satisfaction: An Overview.

Boosting SLS Using Resolution.

Growing COMET.

Preferences and Soft Constraints.

The Logic Behind Weighted CSP.

Dynamic Heuristics for Branch and Bound on Tree-Decomposition of Weighted CSPs.

Constraints in Software Testing, Verification and Analysis.

Extending a CP Solver with Congruences as Domains for Program Verification.

Generating Random Values Using Binary Decision Diagrams and Convex Polyhedra.

A Symbolic Model for Hash-Collision Attacks.

Strategy for Flaw Detection Based on a Service-driven Model for Group Protocols.

Constraint Programming for Graphical Applications.

Trends and Issues in using Constraint Programming for Graphical Applications.

A Constraint Satisfaction Framework for Visual Problem Solving.

Computer Graphics and Constraint Solving: An Application to Virtual Camera Control.

Index.

Table of Contents provided by Publisher. All Rights Reserved.