Tack Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Erscheinungsjahr 2025
ISBN: 978-3-031-95973-8
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part I
E-Book, Englisch, 276 Seiten
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-031-95973-8
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
