Integration of Constraint Programming, Artificial Intelligence, and Operations Research (eBook, PDF)

22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I
Redaktion: Tack, Guido

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer International Publishing
• Seitenzahl: 276
• Erscheinungstermin: 28. Juni 2025
• Englisch
• ISBN-13: 9783031959738
• Artikelnr.: 74750933

Inhaltsangabe

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.