Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2011

Principles and Practice of Constraint Programming -- CP 2011

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

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)

Conference series link(s): CP: International Conference on Principles and Practice of Constraint Programming

Conference proceedings info: CP 2011.

Sections

Buy it now

eBook USD 109.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 149.00
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

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

Table of contents (61 papers)

  1. Front Matter

    PDF

  2. Invited Talks

    1. Orchestrating Satisfiability Engines

      • Leonardo de Moura
      Pages 1-1

  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

Back to top

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.
Back to top

Keywords

Back to top

Editors and Affiliations

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

    Jimmy Lee

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 109.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 149.00
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

Search

Navigation