Skip to main content
SpringerLink
Log in
Book cover

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

17th International Conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Emmanuel Hebrard

    1. LAAS - CNRS, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Nysret Musliu

    1. TU Wien, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CPAIOR 2020.

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

Licence this eBook for your library

Institutional subscriptions

Table of contents (34 papers)

  1. Front Matter

    Pages i-xxxiii
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions

      • Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler
      Pages 3-21

    3. Restarting Algorithms: Sometimes There Is Free Lunch

      • Sebastian Pokutta
      Pages 22-38

  3. Regular Papers

    1. Front Matter

      Pages 39-39
      Download chapter PDF

    2. Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP

      • Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Patrick Spracklen, Christopher Stone
      Pages 41-51

    3. Bilevel Optimization for On-Demand Multimodal Transit Systems

      • Beste Basciftci, Pascal Van Hentenryck
      Pages 52-68

    4. Local Search and Constraint Programming for a Real-World Examination Timetabling Problem

      • Michele Battistutta, Sara Ceschia, Fabio De Cesco, Luca Di Gaspero, Andrea Schaerf, Elena Topan
      Pages 69-81

    5. Parameterised Bounds on the Sum of Variables in Time-Series Constraints

      • Nicolas Beldiceanu, Maria I. Restrepo, Helmut Simonis
      Pages 82-98

    6. A Learning-Based Algorithm to Quickly Compute Good Primal Solutions for Stochastic Integer Programs

      • Yoshua Bengio, Emma Frejinger, Andrea Lodi, Rahul Patel, Sriram Sankaranarayanan
      Pages 99-111

    7. Integer Programming Techniques for Minor-Embedding in Quantum Annealers

      • David E. Bernal, Kyle E. C. Booth, Raouf Dridi, Hedayat Alghassi, Sridhar Tayur, Davide Venturelli
      Pages 112-129

    8. An Ising Framework for Constrained Clustering on Special Purpose Hardware

      • Eldan Cohen, Arik Senderovich, J. Christopher Beck
      Pages 130-147

    9. From MiniZinc to Optimization Modulo Theories, and Back

      • Francesco Contaldo, Patrick Trentin, Roberto Sebastiani
      Pages 148-166

    10. Transfer-Expanded Graphs for On-Demand Multimodal Transit Systems

      • Kevin Dalmeijer, Pascal Van Hentenryck
      Pages 167-175

    11. Reinforcement Learning for Variable Selection in a Branch and Bound Algorithm

      • Marc Etheve, Zacharie Alès, Côme Bissuel, Olivier Juan, Safia Kedad-Sidhoum
      Pages 176-185

    12. Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem

      • Katalin Fazekas, Markus Sinnl, Armin Biere, Sophie Parragh
      Pages 186-204

    13. Core-Guided and Core-Boosted Search for CP

      • Graeme Gange, Jeremias Berg, Emir Demirović, Peter J. Stuckey
      Pages 205-221

    14. Robust Resource Planning for Aircraft Ground Operations

      • Yagmur S. Gök, Daniel Guimarans, Peter J. Stuckey, Maurizio Tomasella, Cemalettin Ozturk
      Pages 222-238

    15. Primal Heuristics for Wasserstein Barycenters

      • Pierre-Yves Bouchet, Stefano Gualandi, Louis-Martin Rousseau
      Pages 239-255

    16. An Exact CP Approach for the Cardinality-Constrained Euclidean Minimum Sum-of-Squares Clustering Problem

      • Mohammed Najib Haouas, Daniel Aloise, Gilles Pesant
      Pages 256-272
Back to top

Other volumes

  1. Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Keywords

About this book

The volume LNCS 12296 constitutes the papers of the 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research which will be held online in September 2020.

The 32 regular papers presented together with 4 abstracts of fast-track papers were carefully reviewed and selected from a total of 72 submissions. Additionally, this volume includes the 4 abstracts and 2 invited papers by plenary speakers.

The conference program also included a Master Class on the topic “Recent Advances in Optimization Paradigms and Solving Technology"

Editors and Affiliations

  • LAAS - CNRS, Toulouse, France

    Emmanuel Hebrard

  • TU Wien, Vienna, Austria

    Nysret Musliu

Bibliographic Information

  • Book Title: Integration of Constraint Programming, Artificial Intelligence, and Operations Research

  • Book Subtitle: 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020, Proceedings

  • Editors: Emmanuel Hebrard, Nysret Musliu

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-58942-4

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2020

  • Softcover ISBN: 978-3-030-58941-7Published: 19 September 2020

  • eBook ISBN: 978-3-030-58942-4Published: 18 September 2020

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XXXIII, 532

  • Number of Illustrations: 253 b/w illustrations, 86 illustrations in colour

  • Topics: Numeric Computing

Publish with us

Policies and ethics

Back to top

Search

Navigation