Skip to main content
SpringerLink
Log in

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Peter J. Stuckey

    1. Monash University, Melbourne, Australia

    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 12735)

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

Included in the following conference series:

Conference proceedings info: CPAIOR 2021.

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 (29 papers)

  1. Front Matter

    Pages i-xvii
    Download chapter PDF

  2. Supercharging Plant Configurations Using Z3

    • Nikolaj Bjørner, Maxwell Levatich, Nuno P. Lopes, Andrey Rybalchenko, Chandrasekar Vuppalapati
    Pages 1-25

  3. A Computational Study of Constraint Programming Approaches for Resource-Constrained Project Scheduling with Autonomous Learning Effects

    • Alessandro Hill, Jordan Ticktin, Thomas W. M. Vossen
    Pages 26-44

  4. Strengthening of Feasibility Cuts in Logic-Based Benders Decomposition

    • Emil Karlsson, Elina Rönnberg
    Pages 45-61

  5. Learning Variable Activity Initialisation for Lazy Clause Generation Solvers

    • Ronald van Driel, Emir Demirović, Neil Yorke-Smith
    Pages 62-71

  6. A\(^*\)-Based Compilation of Relaxed Decision Diagrams for the Longest Common Subsequence Problem

    • Matthias Horn, Günther R. Raidl
    Pages 72-88

  7. Partitioning Students into Cohorts During COVID-19

    • Richard Hoshino, Irene Fabris
    Pages 89-105

  8. A Two-Stage Exact Algorithm for Optimization of Neural Network Ensemble

    • Keliang Wang, Leonardo Lozano, David Bergman, Carlos Cardonha
    Pages 106-114

  9. Heavy-Tails and Randomized Restarting Beam Search in Goal-Oriented Neural Sequence Decoding

    • Eldan Cohen, J. Christopher Beck
    Pages 115-132

  10. Combining Constraint Programming and Temporal Decomposition Approaches - Scheduling of an Industrial Formulation Plant

    • Christian Klanke, Dominik R. Bleidorn, Vassilios Yfantis, Sebastian Engell
    Pages 133-148

  11. The Traveling Social Golfer Problem: The Case of the Volleyball Nations League

    • Roel Lambers, Laurent Rothuizen, Frits C. R. Spieksma
    Pages 149-162

  12. Towards a Compact SAT-Based Encoding of Itemset Mining Tasks

    • Ikram Nekkache, Said Jabbour, Lakhdar Sais, Nadjet Kamel
    Pages 163-178

  13. A Pipe Routing Hybrid Approach Based on A-Star Search and Linear Programming

    • Marvin Stanczak, Cédric Pralet, Vincent Vidal, Vincent Baudoui
    Pages 179-195

  14. MDDs Boost Equation Solving on Discrete Dynamical Systems

    • Enrico Formenti, Jean-Charles Régin, Sara Riva
    Pages 196-213

  15. Two Deadline Reduction Algorithms for Scheduling Dependent Tasks on Parallel Processors

    • Claire Hanen, Alix Munier Kordon, Theo Pedersen
    Pages 214-230

  16. Improving the Filtering of Branch-and-Bound MDD Solver

    • Xavier Gillard, Vianney Coppé, Pierre Schaus, André Augusto Cire
    Pages 231-247

  17. On the Usefulness of Linear Modular Arithmetic in Constraint Programming

    • Gilles Pesant, Kuldeep S. Meel, Mahshid Mohammadalitajrishi
    Pages 248-265

  18. Injecting Domain Knowledge in Neural Networks: A Controlled Experiment on a Constrained Problem

    • Mattia Silvestri, Michele Lombardi, Michela Milano
    Pages 266-282

  19. Learning Surrogate Functions for the Short-Horizon Planning in Same-Day Delivery Problems

    • Adrian Bracher, Nikolaus Frohner, Günther R. Raidl
    Pages 283-298

  20. Between Steps: Intermediate Relaxations Between Big-M and Convex Hull Formulations

    • Jan Kronqvist, Ruth Misener, Calvin Tsay
    Pages 299-314
Back to top

Other volumes

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

Keywords

About this book

This volume LNCS 12735 constitutes the papers of the 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2021, which was held in Vienna, Austria, in 2021. Due to the COVID-19 pandemic the conference was held online. The 30 regular papers presented were carefully reviewed and selected from a total of 75 submissions. The conference program included a Master Class on the topic "Explanation and Verification of Machine Learning Models".



Editors and Affiliations

  • Monash University, Melbourne, Australia

    Peter J. Stuckey

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation