General

Authors

Search


Committee login



 
 

 


 

 

Forthcoming

Small thumbnail

Reliability Investigation of LED Devices for Public Light Applications

Durability, Robustness and Reliability of Photonic Devices Set

Small thumbnail

Aerospace Actuators 2

Signal-by-Wire and Power-by-Wire

Small thumbnail

Flash Memory Integration

Performance and Energy Considerations

Small thumbnail

Mechanics of Aeronautical Solids, Materials and Structures

Small thumbnail

Engineering Investment Process

Making Value Creation Repeatable

Small thumbnail

Space Strategy

Small thumbnail

Distributed Systems

Concurrency and Consistency

Small thumbnail

Fatigue of Textile and Short Fiber Reinforced Composites

Durability and Ageing of Organic Composite Materials Set – Volume 1

Small thumbnail

Management of the Effects of Coastal Storms

Policy, Scientific and Historical Perspectives

Small thumbnail

Computational Color Science

Variational Retinex-like Methods

Small thumbnail

Trends in Constraint Programming

Edited by Frédéric Benhamou, University of Nantes, France Narendra Jussien, Ecole des Mines, Nantes, France Barry O’Sullivan, University College Cork, Ireland

ISBN: 9781905209972

Publication Date: May 2007   Hardback   416 pp.

220.00 USD


Add to cart

eBooks


Ebook Ebook

Description

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.

Contents

Part 1: The Past, Present and Future of Constraint Programming,
Frédéric Benhamou, Narendra Jussien, Barry O’Sullivan.
1. Constraint Programming as Declarative Algorithmics,
Pascal Van Hentenryck.
2. Constraint Programming Tools,
Laurent Michel, Christian Schulte, Pascal Van Hentenryck.
3. The Next 10 Years of Constraint Programming,
Lucas Bordeaux, Barry O’Sullivan, Pascal Van Hentenryck.
4. Constraint Propagation and Implementation,
Marc van Dongen, Christophe Lecoutre.
5. On the First SAT/CP Integration Workshop,
Youssef Hamadi, Lucas Bordeaux.
6. Constraint-Based Methods for Bioinformatics,
Alessandro Dal Palù, Agostino Dovier, François Fages, Sebastian Will.
Part 2: Constraint Modeling and Reformulation,
Ian Miguel, Steven Prestwich.
7. Improved Models for Graceful Graphs,
Jean-François Puget, Barbara Smith.
8. The Automatic Generation of Redundant Representations and Channeling Constraints,
Bernadette Martinez-Hernàndez, Alan M. Frisch.
Part 3: Symmetry in Constraint Satisfaction Problems,
Alastair Donaldson, Peter Gregory, Karen Petrie.
9. GAPLex: Generalized Static Symmetry Breaking,
Chris Jefferson, Tom Kelsey, Steve Linton, Karen Petrie.
10. Symmetry Breaking in Subgraph Pattern Matching,
Stéphane Zampelli, Yves Deville, Pierre Dupont.
Part 4: Interval Analysis, Constraint Propagation and Applications,
Christophe Jermann, Yahia Lebbah, Djamila Sam-Haroud.
11. Modeling and Solving of a Radio Antenna Deployment Support Application,
Michael Heusch.
12. Guaranteed Numerical Injectivity Test via Interval Analysis,
Sébastien Lagrange, Nicolas Delanoue, Luc Jaulin.
13. An Interval-based ApproximationMethod for Discrete Changes in Hybrid cc,
Daisuke Ishii, Kazunori Ueda and Hiroshi Hosobe.
Part 5: Local Search Techniques in Constraint Satisfaction,
Andrea Roli, Yehuda Naveh.
14. Combining Adaptive Noise and Look-Ahead in Local Search for SAT,
Chu Min Li, Wanxia Wei, Harry Zhang.
15. Finding Large Cliques using SAT Local Search,
Steven Prestwich.
16. Multi-Point Constructive Search for Constraint Satisfaction: An Overview,
Ivan Heckman, J. Christopher Beck.
17. Boosting SLS Using Resolution,
Anbulagan, Duc Nghia Pham, John Slaney, Abdul Sattar.
18. Growing COMET,
Pascal Van Hentenryck, Laurent Michel.
Part 6: Preferences and Soft Constraints,
Thomas Schiex.
19. The Logic Behind Weighted CSP,
Carlos Ansotegui, Maria L. Bonet, Jordi Levy, Felip Manya.
20. Dynamic Heuristics for Branch and Bound on Tree-Decomposition of Weighted CSPs,
Philippe Jégou, Samba Ndojh Ndiaye, Cyril Terrioux.
Part 7: Constraints in Software Testing, Verification and Analysis,
Benjamin Blanc, Arnaud Gotlieb, Claude Michel.
21. Extending a CP Solver with Congruences as Domains for Program Verification,
Michel Leconte, Bruno Berstel.
22. Generating Random Values Using Binary Decision Diagrams and Convex Polyhedra,
Erwan Jahier, Pascal Raymond.
23. A Symbolic Model for Hash-Collision Attacks,
Yannick Chevalier, Mounira Kourjieh.
24. Strategy for Flaw Detection Based on a Service-driven Model for Group Protocols,
Najah Chridi, Laurent Vigneron.
Part 8: Constraint Programming for Graphical Applications,
Marc Christie, Hiroshi Hosobe and Kim Marriott.
25. Trends and Issues in using Constraint Programming for Graphical Applications,
Marc Christie, Hiroshi Hosobe and Kim Marriott.
26. A Constraint Satisfaction Framework for Visual Problem Solving,
Bonny Banerjee, Balakrishnan Chandrasekaran.
27. Computer Graphics and Constraint Solving: An Application to Virtual Camera Control,
Jean-Marie Normand.

About the Authors

Frédéric Benhamou is a Full Professor in the Department of Computer Science and is Head of the Computer Science Research Laboratory at Nantes Atlantic University, France.
Narendra Jussien is the President of the French Association for Constraint Programming (AFPC) and is an Assistant Professor in the Department of Computer Science at the Ecole des Mines de Nantes, France.
Barry O’Sullivan is the Associate Director of the Cork Constraint Computation Centre and is a Senior Lecturer in the Department of Computer Science at University College Cork, Ireland.

Downloads

DownloadTable of Contents - PDF File - 137 Kb

DownloadIntroduction - PDF File - 76 Kb

DownloadSample Chapter - PDF File - 221 Kb

Related Titles



































0.06264 s.