Trends in Constraint Programming

by Editor: Fré; dé; ric Benhamou (Nantes Atlantic University, France); Editor: Narendra Jussien (Ecole des Mines de Nantes, France); Editor: Barry A. O'Sullivan (University College Cork)

• ISBN13: 9780470394946
• ISBN10: 0470394943
• Format: eBook
• Copyright: 2010-01-01
• 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.

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.