|
![]() |
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Guido TackPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Volume: 15762 ISBN: 9783031959721ISBN 10: 3031959728 Pages: 276 Publication Date: 29 June 2025 Audience: Professional and scholarly , College/higher education , Professional & Vocational , Postgraduate, Research & Scholarly Format: Paperback Publisher's Status: Active Availability: Not yet available ![]() This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release. Table of ContentsOptimized 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |