Trends in Constraint Programming

Trends in Constraint Programming

Editor(s): Frédéric Benhamou, Narendra Jussien, Barry O'Sullivan

Published Online: 5 JAN 2010

Print ISBN: 9781905209972

Online ISBN: 9780470612309

DOI: 10.1002/9780470612309

About this Book

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

    1. You have free access to this content
  1. Part I: The Past, Present and Future of Constraint Programming

    1. You have free access to this content

      Chapter I

      The Past, Present and Future of Constraint Programming (page 23)

      Frédéric Benhamou, Narendra Jussien and Barry O'Sullivan

    2. Chapter 2

      Constraint Programming Tools (pages 41–57)

      Laurent Michel, Christian Schulte and Pascal Van Hentenryck

    3. Chapter 6

      Constraint-Based Methods for Bioinformatics (pages 125–146)

      Alessandro Dal Palù, Agostino Dovier, François Fages and Sebastian Will

  2. Part II: Constraint Modeling and Reformulation

    1. You have free access to this content
  3. Part III: Symmetry in Constraint Satisfaction Problems

    1. You have free access to this content
      Introduction (pages 183–186)

      Alastair Donaldson, Peter Gregory and Karen Petrie

  4. Part IV: Interval Analysis, Constraint Propagation and Applications

    1. You have free access to this content
      Introduction (pages 219–222)

      Christophe Jermann, Yahia Lebbah and Djamila Sam-Haroud

  5. Part V: Local Search Techniques in Constraint Satisfaction

    1. You have free access to this content
    2. Chapter 17

      Boosting SLS Using Resolution (pages 283–289)

      Anbulagan, Duc Nghia Pham, John Slaney and Abdul Sattar

  6. Part VI: Preferences and Soft Constraints

    1. You have free access to this content
    2. Chapter 19

      The Logic Behind Weighted CSP (pages 303–316)

      Carlos Ansótegui, María L. Bonet, Jordi Levi and Felip Manyà

  7. Part VII: Constraints in Software Testing, Verification and Analysis

    1. You have free access to this content
      Introduction (pages 333–336)

      Benjamin Blanc, Arnaud Gotlieb and Claude Michel

  8. Part VIII: Constraint Programming for Graphical Applications

    1. You have free access to this content
    1. You have free access to this content

SEARCH