Trends in Constraint Programming

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

Hardcover 416 pp

220.00 USD



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.


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.

Related subject

Related Titles