Trends in Constraint Programming

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

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

ISBN: 9781905209972 | 1905209975
Cover: Hardcover
Copyright: 5/25/2007

Rent

(Recommended)

$200.88

Term

Due

Price

Semester

Dec 13

$211.45

Quarter

Aug 16

$200.88

Short Term

Jul 3

$190.30

*This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.
Buy New

Currently Available, Usually Ships in 24-48 Hours

$289.87

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.

Please wait while the item is added to your bag...

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.

FREE SHIPPING

Amazon no longer offers textbook rentals. We do!

Trends in Constraint Programming

Summary

Author Biography

Table of Contents

Supplemental Materials