Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part II /

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 sho...

Cijeli opis

Spremljeno u:
Bibliografski detalji
Autor kompanije: SpringerLink (Online service)
Daljnji autori: Tack, Guido (Urednik)
Format: Elektronički e-knjiga
Jezik:engleski
Izdano: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Izdanje:1st ed. 2025.
Serija:Lecture Notes in Computer Science, 15763
Teme:
Online pristup:https://doi.org/10.1007/978-3-031-95976-9
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!

MARC

LEADER 00000nam a22000005i 4500
001 978-3-031-95976-9
003 DE-He213
005 20260706120051.0
007 cr nn 008mamaa
008 250628s2025 sz | s |||| 0|eng d
020 |a 9783031959769  |9 978-3-031-95976-9 
024 7 |a 10.1007/978-3-031-95976-9  |2 doi 
050 4 |a QA76.9.M35 
072 7 |a UYAM  |2 bicssc 
072 7 |a COM014000  |2 bisacsh 
072 7 |a UYAM  |2 thema 
082 0 4 |a 004.0151  |2 23 
245 1 0 |a Integration of Constraint Programming, Artificial Intelligence, and Operations Research  |h [electronic resource] :  |b 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part II /  |c edited by Guido Tack. 
250 |a 1st ed. 2025. 
264 1 |a Cham :  |b Springer Nature Switzerland :  |b Imprint: Springer,  |c 2025. 
300 |a XIV, 272 p. 69 illus., 60 illus. in color.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
341 0 |b PDF/UA-1  |2 onix 
341 0 |b Table of contents navigation  |2 onix 
341 0 |b Single logical reading order  |2 onix 
341 0 |b Short alternative textual descriptions  |2 onix 
341 0 |b Use of color is not sole means of conveying information  |2 onix 
341 0 |b Use of high contrast between text and background color  |2 onix 
341 0 |b Next / Previous structural navigation  |2 onix 
341 0 |b All non-decorative content supports reading without sight  |2 onix 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 1611-3349 ;  |v 15763 
505 0 |a Combining Constraint Programming and Metaheuristics for Aircraft Maintenance Routing with a Distribution Objective -- Reducing Income Variability in Natural Resource Portfolios via Integer Programming -- Analyzing the numerical correctness of branch-and-bound decisions for mixed-integer programming -- LLMs for Cold-Start Cutting Plane Separator Configuration -- A Dynamic Programming Approach for the Job Sequencing and Tool Switching Problem -- Time-dependent Orienteering for High Altitude UAVs to Monitor Greenhouse Gases -- Multi-depot Electric Bus Scheduling with a Column Generation Heuristic -- On the Effciency of Algebraic Simplex Algorithms for Solving MDPs -- Reinforcement Learning-based Heuristics to Guide Domain-Independent Dynamic Programming -- Acquiring and Selecting Implied Constraints with an Application to the BinSeq and Partition Global Constraints -- Integer and Constraint Programming for the Offine Nanosatellite Partition Scheduling Problem -- Accelerated Discovery of Set Cover Solutions via Graph Neural Networks -- Constrained Machine Learning Through Hyperspherical Representation -- PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs -- Satellite Communication Resources Management in a Earth Observation Federation of Constellations -- Shaping Reward Signals in Reinforcement Learning Using Constraint Programming. 
520 |a 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. 
532 8 |a Accessibility summary: This PDF has been created in accordance with the PDF/UA-1 standard to enhance accessibility, including screen reader support, described non-text content (images, graphs), bookmarks for easy navigation, keyboard-friendly links and forms and searchable, selectable text. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. Please note that a more accessible version of this eBook is available as ePub. 
532 8 |a No reading system accessibility options actively disabled 
532 8 |a Publisher contact for further accessibility information: accessibilitysupport@springernature.com 
650 0 |a Computer science  |x Mathematics. 
650 0 |a Artificial intelligence. 
650 0 |a Computer science. 
650 0 |a Computer networks . 
650 1 4 |a Mathematics of Computing. 
650 2 4 |a Artificial Intelligence. 
650 2 4 |a Theory of Computation. 
650 2 4 |a Computer Communication Networks. 
700 1 |a Tack, Guido.  |e editor.  |0 (orcid)0000-0003-3357-6498  |1 https://orcid.org/0000-0003-3357-6498  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783031959752 
776 0 8 |i Printed edition:  |z 9783031959776 
830 0 |a Lecture Notes in Computer Science,  |x 1611-3349 ;  |v 15763 
856 4 0 |u https://doi.org/10.1007/978-3-031-95976-9 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-SXPS 
912 |a ZDB-2-LNC 
912 |a ZDB-2-238 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710) 
950 |a Springer Nature Proceedings Computer Science (SpringerNature-85344) 
950 |a Focus Bundle Foundational Computer Science (SpringerNature-85408)