Skip to main content
  • Conference proceedings
  • © 2021

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

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

Editors:

(view affiliations)

Conference proceedings info: CPAIOR 2021.

Buying options

eBook
USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-78230-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 109.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (29 papers)

  1. Front Matter

    Pages i-xvii
  2. Supercharging Plant Configurations Using Z3

    • Nikolaj Bjørner, Maxwell Levatich, Nuno P. Lopes, Andrey Rybalchenko, Chandrasekar Vuppalapati
    Pages 1-25
  3. Learning Variable Activity Initialisation for Lazy Clause Generation Solvers

    • Ronald van Driel, Emir Demirović, Neil Yorke-Smith
    Pages 62-71
  4. Partitioning Students into Cohorts During COVID-19

    • Richard Hoshino, Irene Fabris
    Pages 89-105
  5. A Two-Stage Exact Algorithm for Optimization of Neural Network Ensemble

    • Keliang Wang, Leonardo Lozano, David Bergman, Carlos Cardonha
    Pages 106-114
  6. 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
  7. The Traveling Social Golfer Problem: The Case of the Volleyball Nations League

    • Roel Lambers, Laurent Rothuizen, Frits C. R. Spieksma
    Pages 149-162
  8. Towards a Compact SAT-Based Encoding of Itemset Mining Tasks

    • Ikram Nekkache, Said Jabbour, Lakhdar Sais, Nadjet Kamel
    Pages 163-178
  9. 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
  10. MDDs Boost Equation Solving on Discrete Dynamical Systems

    • Enrico Formenti, Jean-Charles Régin, Sara Riva
    Pages 196-213
  11. Two Deadline Reduction Algorithms for Scheduling Dependent Tasks on Parallel Processors

    • Claire Hanen, Alix Munier Kordon, Theo Pedersen
    Pages 214-230
  12. Improving the Filtering of Branch-and-Bound MDD Solver

    • Xavier Gillard, Vianney Coppé, Pierre Schaus, André Augusto Cire
    Pages 231-247
  13. On the Usefulness of Linear Modular Arithmetic in Constraint Programming

    • Gilles Pesant, Kuldeep S. Meel, Mahshid Mohammadalitajrishi
    Pages 248-265
  14. Injecting Domain Knowledge in Neural Networks: A Controlled Experiment on a Constrained Problem

    • Mattia Silvestri, Michele Lombardi, Michela Milano
    Pages 266-282
  15. Learning Surrogate Functions for the Short-Horizon Planning in Same-Day Delivery Problems

    • Adrian Bracher, Nikolaus Frohner, Günther R. Raidl
    Pages 283-298
  16. Between Steps: Intermediate Relaxations Between Big-M and Convex Hull Formulations

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

Other Volumes

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

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

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".


Keywords

  • artificial intelligence
  • communication systems
  • computer hardware
  • computer networks
  • computer programming
  • computer systems
  • constraint programming
  • correlation analysis
  • graph theory
  • machine learning
  • network protocols
  • optimization
  • optimization problems
  • routing algorithms
  • signal processing
  • telecommunication networks
  • telecommunication systems
  • theoretical computer science

Editors and Affiliations

  • Monash University, Melbourne, Australia

    Peter J. Stuckey

Bibliographic Information

Buying options

eBook
USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-78230-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 109.99
Price excludes VAT (USA)