Theoretical Computer Science and General Issues
cover

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

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

Editors: Stuckey, Peter (Ed.)

Buy this book

eBook $69.99
price for USA in USD
  • ISBN 978-3-030-78230-6
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-030-78229-0
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
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".


Table of contents (29 chapters)

Table of contents (29 chapters)
  • Supercharging Plant Configurations Using Z3

    Pages 1-25

    Bjørner, Nikolaj (et al.)

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

    Pages 26-44

    Hill, Alessandro (et al.)

  • Strengthening of Feasibility Cuts in Logic-Based Benders Decomposition

    Pages 45-61

    Karlsson, Emil (et al.)

  • Learning Variable Activity Initialisation for Lazy Clause Generation Solvers

    Pages 62-71

    Driel, Ronald (et al.)

  • A

    Pages 72-88

    Horn, Matthias (et al.)

Buy this book

eBook $69.99
price for USA in USD
  • ISBN 978-3-030-78230-6
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-030-78229-0
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Services for this Book

Bibliographic Information

Bibliographic Information
Book Title
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Book Subtitle
18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings
Editors
  • Peter Stuckey
Series Title
Theoretical Computer Science and General Issues
Series Volume
12735
Copyright
2021
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-78230-6
DOI
10.1007/978-3-030-78230-6
Softcover ISBN
978-3-030-78229-0
Edition Number
1
Number of Pages
XVII, 468
Number of Illustrations
14 b/w illustrations, 81 illustrations in colour
Topics