Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Principles and Practice of Constraint Programming - CP 2007

13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Christian Bessière
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4741)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: CP 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

The 13th International Conference on Principles and Practice of Constraint Programming (CP 2007) was held in Providence, RI, USA, September 23–27, 2007, in conjunction with the International Conference on Automated Pl- ning and Scheduling (ICAPS). Held annually, the CP conference series is the premier international conference on constraint programming. The conference focuses on all aspects of computing with constraints. The CP conference - ries is organized by the Association for Constraint Programming (ACP). - formation about the conferences in the series can be found on the Web at http://www. cs. ualberta. ca/~ai/cp/. Information about ACP can be found athttp://www. a4cp. org/. CP 2007 launched two calls for contributions: a call for research papers, describing novel contributions in the ?eld, and a call for application papers, describing applications of constraint technology in the industrial world. The research track received 143 submissions and the application track received 22 submissions. Research papers were reviewed under a double-blind scheme. They received three reviews that the authors had the opportunity to see and to react tobeforethepapersandtheirreviewswerediscussedextensivelybythemembers of the ProgramCommittee. Application papers werereviewedby a separate- plication Committee. The Program Committee and the Application Committee then selected 43 researchpapers and 9 application papers to be published in full inthe proceedings,andanadditional14researchpapersto be publishedas short papers. The full papers were presented at the conference in two parallel tracks and the short papers were presented in a poster session.

Similar content being viewed by others

Keywords

Table of contents (67 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Lectures

    1. Caching in Backtracking Search

      • Fahiem Bacchus
      Pages 1-1

    2. Of Mousetraps and Men: A Cautionary Tale

      • Matt Ginsberg
      Pages 2-2

  3. Application Papers

    1. Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite

      • Grégory Beaumet, Gérard Verfaillie, Marie-Claire Charmeau
      Pages 3-17

    2. Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques

      • Raphaël Chenouard, Patrick Sébastian, Laurent Granvilliers
      Pages 18-32

    3. Solving the Salinity Control Problem in a Potable Water System

      • Chiu Wo Choi, Jimmy H. M. Lee
      Pages 33-48

    4. Exploring Different Constraint-Based Modelings for Program Verification

      • Hélène Collavizza, Michel Rueher
      Pages 49-63

    5. An Application of Constraint Programming to Generating Detailed Operations Schedules for Steel Manufacturing

      • Andrew Davenport, Jayant Kalagnanam, Chandra Reddy, Stuart Siegel, John Hou
      Pages 64-76

    6. An Efficient Model and Strategy for the Steel Mill Slab Design Problem

      • Antoine Gargani, Philippe Refalo
      Pages 77-89

    7. Constraint-Based Temporal Reasoning for E-Learning with LODE

      • Rosella Gennari, Ornella Mich
      Pages 90-104

    8. Scheduling for Cellular Manufacturing

      • Roman van der Krogt, James Little, Kenneth Pulliam, Sue Hanhilammi, Yue Jin
      Pages 105-117

  4. Full Research Papers

    1. A Constraint Store Based on Multivalued Decision Diagrams

      • H. R. Andersen, T. Hadzic, J. N. Hooker, P. Tiedemann
      Pages 118-132

    2. GAC Via Unit Propagation

      • Fahiem Bacchus
      Pages 133-147

    3. Solution Directed Backjumping for QCSP

      • Fahiem Bacchus, Kostas Stergiou
      Pages 148-163

    4. Reformulating CSPs for Scalability with Application to Geospatial Reasoning

      • Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock
      Pages 164-179

    5. A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects

      • N. Beldiceanu, M. Carlsson, E. Poder, R. Sadek, C. Truchet
      Pages 180-194

    6. Local Symmetry Breaking During Search in CSPs

      • Belaïd Benhamou, Mohamed Réda Saïdi
      Pages 195-209

    7. Encodings of the Sequence Constraint

      • Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter Stuckey, Toby Walsh
      Pages 210-224

    8. On Inconsistent Clause-Subsets for Max-SAT Solving

      • Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu-Min Li
      Pages 225-240

    9. An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming

      • Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
      Pages 241-255
Back to top

Other volumes

  1. Principles and Practice of Constraint Programming – CP 2007

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation