Principles and Practice of Constraint Programming

20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings

  • Barry O’Sullivan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8656)

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Best Technical Track Paper

    1. Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini
      Pages 9-24
  4. Best Application Track Paper

    1. Morten Mossige, Arnaud Gotlieb, Hein Meling
      Pages 25-41
  5. Best Student Paper

    1. Umut Oztok, Adnan Darwiche
      Pages 42-57
  6. Runner-Up Best Student Paper

    1. Thi-Van-Anh Nguyen, Arnaud Lallouet
      Pages 58-74
  7. Technical Track

    1. Ignasi Abío, Peter J. Stuckey
      Pages 75-91
    2. Gilles Audemard, Christophe Lecoutre, Mouny Samy-Modeliar, Gilles Goncalves, Daniel Porumbel
      Pages 125-141
    3. Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson
      Pages 142-157
    4. Christoph Berkholz
      Pages 158-173
    5. Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Émilie Picard-Cantin, Claude-Guy Quimper et al.
      Pages 174-189
    6. Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
      Pages 207-223
    7. Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard
      Pages 224-239
    8. Geoffrey Chu, Peter J. Stuckey
      Pages 240-255

About these proceedings

Introduction

This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014.
The 65 revised papers presented together with 4 invited talks were carefully selected from 108 submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, and agreement technologies.

Keywords

MaxSAT SAT algorithms artificial intelligence constraint programming distributed constraint satisfaction problem logic operations research scheduling solvers theory of computation

Editors and affiliations

  • Barry O’Sullivan
    • 1
  1. 1.Insight Centre for Data Analytics, School of Computer Science and ITUniversity College CorkCorkIreland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-10428-7
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-10427-0
  • Online ISBN 978-3-319-10428-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book