Skip to main content
Springer Nature Link
Log in

Principles and Practice of Constraint Programming -- CP 2011

17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011, Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Jimmy Lee

    1. Department of Computer Science and Engineering, The Chinese University of Hong Kong, Shatin, N.T., Hong Kong, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

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

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

Included in the following conference series:

Conference proceedings info: CP 2011.

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

Access this book

Log in via an institution
eBook USD 109.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Constraint Programming, CP 2011, held in Perugia, Italy, September 12-16, 2011. The 51 revised full papers and 7 short papers presented together with three invited talks were carefully reviewed and selected from 159 submissions. The papers are organized in topical sections on algorithms, environments, languages, models and systems, applications such as decision making, resource allocation and agreement technologies.

Similar content being viewed by others

Keywords

Table of contents (61 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Orchestrating Satisfiability Engines

      • Leonardo de Moura
      Pages 1-1

    2. Operations Research and Constraint Programming at Google

      • Laurent Perron
      Pages 2-2

    3. Solving Problems with CP: Four Common Pitfalls to Avoid

      • Jean-Charles Régin
      Pages 3-11

  3. Application Track Papers

    1. A Constraint Seeker: Finding and Ranking Global Constraints from Examples

      • Nicolas Beldiceanu, Helmut Simonis
      Pages 12-26

    2. Bin Repacking Scheduling in Virtualized Datacenters

      • Fabien Hermenier, Sophie Demassey, Xavier Lorca
      Pages 27-41

    3. Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming

      • Michel P. Lefebvre, Jean-François Puget, Petr Vilím
      Pages 42-53

    4. The Design of Cryptographic S-Boxes Using CSPs

      • Venkatesh Ramamoorthy, Marius C. Silaghi, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo
      Pages 54-68

    5. Optimal Carpet Cutting

      • Andreas Schutt, Peter J. Stuckey, Andrew R. Verden
      Pages 69-84

    6. A Hybrid Approach for Solving Real-World Nurse Rostering Problems

      • Martin Stølevik, Tomas Eric Nordlander, Atle Riise, Helle Frøyseth
      Pages 85-99

    7. Constraint Programming for Controller Synthesis

      • Gérard Verfaillie, Cédric Pralet
      Pages 100-114

  4. Research Track Papers

    1. Neuron Constraints to Model Complex Real-World Problems

      • Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini
      Pages 115-129

    2. A Constraint Based Approach to Cyclic RCPSP

      • Alessio Bonfietti, Michele Lombardi, Luca Benini, Michela Milano
      Pages 130-144

    3. An Efficient Light Solver for Querying the Semantic Web

      • Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon
      Pages 145-159

    4. On Guaranteeing Polynomially Bounded Search Tree Size

      • David A. Cohen, Martin C. Cooper, Martin J. Green, Dániel Marx
      Pages 160-171

    5. A Framework for Decision-Based Consistencies

      • Jean-François Condotta, Christophe Lecoutre
      Pages 172-186

    6. Hierarchically Nested Convex VCSP

      • Martin C. Cooper, Stanislav Živný
      Pages 187-194

    7. Tractable Triangles

      • Martin C. Cooper, Stanislav Živný
      Pages 195-209

    8. On Minimal Weighted Clones

      • Páidí Creed, Stanislav Živný
      Pages 210-224

    9. Solving MAXSAT by Solving a Sequence of Simpler SAT Instances

      • Jessica Davies, Fahiem Bacchus
      Pages 225-239
Back to top

Other volumes

  1. Principles and Practice of Constraint Programming -- CP 2011

Editors and Affiliations

  • Department of Computer Science and Engineering, The Chinese University of Hong Kong, Shatin, N.T., Hong Kong, China

    Jimmy Lee

Bibliographic Information

Publish with us

Policies and ethics

Back to top