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

Rent

(Recommended)

$226.55

Term

Due

Price

Semester

Dec 11

$226.55

Quarter

Nov 9

$215.22

Short Term

Oct 10

$203.90

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

Currently Available, Usually Ships in 24-48 Hours

$290.05

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.

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

Rent More, Save More! Use code: BBRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

Trends in Constraint Programming

Summary

Author Biography

Table of Contents

Supplemental Materials