Advertisement

© 2020

Principles and Practice of Constraint Programming

26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

  • Helmut Simonis
Conference proceedings CP 2020

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 12333)

Table of contents

  1. Front Matter
    Pages i-xv
  2. Technical Track

    1. Front Matter
      Pages 1-1
    2. Roberto Amadini, Graeme Gange, Peter J. Stuckey
      Pages 3-20
    3. Behrouz Babaki, Bilel Omrani, Gilles Pesant
      Pages 21-36
    4. Jaroslav Bendík, Ivana Černá
      Pages 37-54
    5. Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack
      Pages 55-71
    6. Kyle E. C. Booth, Bryan O’Gorman, Jeffrey Marshall, Stuart Hadfield, Eleanor Rieffel
      Pages 72-89
    7. Martin C. Cooper
      Pages 126-142
    8. Ewan Davidson, Özgür Akgün, Joan Espasa, Peter Nightingale
      Pages 143-159
    9. Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
      Pages 211-230
    10. Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
      Pages 231-247
    11. Johannes K. Fichte, Markus Hecher, Maximilian F. I. Kieler
      Pages 248-266
    12. Johannes K. Fichte, Markus Hecher, Stefan Szeider
      Pages 267-285
    13. Johannes K. Fichte, Markus Hecher, Stefan Szeider
      Pages 286-303
    14. Johannes K. Fichte, Norbert Manthey, Julian Stecklina, André Schidler
      Pages 304-322

About these proceedings

Introduction

This book constitutes the proceedings of the 26th International Conference on Principles and Practice of Constraint Programming, CP 2020, held in Louvain-la-Neuve, Belgium, in September 2020. The conference was held virtually due to the COVID-19 pandemic.

The 55 full papers presented in this volume were carefully reviewed and selected from 122 submissions. They deal with all aspects of computing with constraints including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers were organized according to the following topics/tracks: technical track; application track; and CP and data science and machine learning.

Keywords

architecting architecture verification and validation artificial intelligence boolean functions computer programming constraint programming constraint satisfaction problems constraint theory decision theory embedded systems formal logic graph theory model checking problem solving satisfiability software architecture software design software engineering

Editors and affiliations

  • Helmut Simonis
    • 1
  1. 1.Insight Centre for Data Analytics, School for Computer Science and Information TechnologyUniversity College CorkCorkIreland

Bibliographic information