1 option
Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part I / edited by Guido Tack.
Springer Nature - Springer Computer Science (R0) eBooks 2025 English International Available online
View online- Format:
- Book
- Author/Creator:
- Tack, Guido.
- Series:
- Lecture Notes in Computer Science, 1611-3349 ; 15762
- Language:
- English
- Subjects (All):
- Computer science--Mathematics.
- Computer science.
- Artificial intelligence.
- Computer networks.
- Mathematics of Computing.
- Artificial Intelligence.
- Theory of Computation.
- Computer Communication Networks.
- Local Subjects:
- Mathematics of Computing.
- Artificial Intelligence.
- Theory of Computation.
- Computer Communication Networks.
- Physical Description:
- 1 online resource (489 pages)
- Edition:
- 1st ed. 2025.
- Place of Publication:
- Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
- Summary:
- This two-volume set LNCS 15762-15763 constitutes the proceedings of the 22nd International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2025, held in Melbourne, VIC, Australia, November 10–13, 2025. The 30 full papers and the 2 short papers presented in the proceedings were carefully reviewed and selected from a total of 68 submissions. The conference featured a masterclass and several joint invited talks that covered topics of interest at the intersection of constraint programming, artificial Intelligence, operations research, planning and scheduling, and knowledge representation. .
- Contents:
- Optimized Scheduling of Medical Appointment Sequences using Constraint Programming
- An integrated optimisation method for aluminium hot rolling
- Determining the Most Promising Selective Backbone Size for Partial Knowledge Compilation
- Leveraging Quantum Computing for Accelerated Classical Algorithms in Power Systems Optimization
- Hybridizing Machine Learning and Optimization for Planning Satellite Observations
- Algorithm Configuration in Sequential Decision-Making
- Self-Supervised Penalty-Based Learning for Robust Constrained Optimization
- Revisiting Pseudo-Boolean Encodings from an Integer Perspective
- Multi-task Representation Learning for Mixed Integer Linear Programming
- Breaking the Symmetries of Indistinguishable Objects
- Tackling Symmetry Breaking as a Symbolic Set Cover
- Modeling and Solving the Generalized Test Laboratory Scheduling Problem
- Parallelising Lazy Clause Generation with Trail Sharing
- Learning Primal Heuristics for 0–1 Knapsack Interdiction Problems
- Bounded-Error Policy Optimization for Mixed Discrete-Continuous MDPs via Constraint Generation in Nonlinear Programming
- Minimising Source-Plate Swaps for Robotised Compound Dispensing in Microplates.
- Notes:
- Description based on publisher supplied metadata and other sources.
- Other Format:
- Print version: Tack, Guido Integration of Constraint Programming, Artificial Intelligence, and Operations Research
- ISBN:
- 9783031959738
- OCLC:
- 1526861166
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.