Advertisement

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
    9. Martin C. Cooper
      Pages 256-271
    10. Ronald de Haan, Iyad Kanj, Stefan Szeider
      Pages 272-288
    11. Alban Derrien, Thierry Petit, Stéphane Zampelli
      Pages 298-306
    12. Ferdinando Fioretto, Tiep Le, William Yeoh, Enrico Pontelli, Tran Cao Son
      Pages 307-323
    13. Daniel Fontaine, LaurentMichel, Pascal Van Hentenryck
      Pages 324-339
    14. Kathryn Francis, Peter J. Stuckey
      Pages 340-355
    15. Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Glenna F. Nightingale et al.
      Pages 356-365
    16. Umberto Grandi, Hang Luo, Nicolas Maudet, Francesca Rossi
      Pages 366-381
    17. Vinasétan Ratheil Houndji, Pierre Schaus, Laurence Wolsey, Yves Deville
      Pages 382-397
    18. Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura
      Pages 398-406
    19. Wen-Yang Ku, Thiago Pinheiro, J. Christopher Beck
      Pages 424-439
    20. Ronan Le Bras, Carla P. Gomes, Bart Selman
      Pages 440-448
    21. Levi H. S. Lelis, Lars Otten, Rina Dechter
      Pages 481-496
    22. Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap
      Pages 497-513
    23. Florian Lonsing, Uwe Egly
      Pages 514-530
    24. Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce
      Pages 531-548
    25. Antonio Morgado, Carmine Dodaro, Joao Marques-Silva
      Pages 564-573
    26. Robert Nieuwenhuis
      Pages 574-589
    27. Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel
      Pages 590-605
    28. Guillaume Perez, Jean-Charles Régin
      Pages 606-621
    29. Jean-Charles Régin, Mohamed Rezgui, Arnaud Malapert
      Pages 622-635
    30. Andrea Rendl, Guido Tack, Peter J. Stuckey
      Pages 636-645
    31. Ashish Sabharwal, Horst Samulowitz
      Pages 655-671
    32. Ignacio Salas, Gilles Chabert, Alexandre Goldsztejn
      Pages 672-687

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
  • Buy this book on publisher's site