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

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

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor Corporativo: SpringerLink (Online service)
Outros Autores: Tack, Guido (Editor)
Formato: Recurso Eletrônico livro eletrônico
Idioma:inglês
Publicado em: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edição:1st ed. 2025.
coleção:Lecture Notes in Computer Science, 15762
Assuntos:
Acesso em linha:https://doi.org/10.1007/978-3-031-95973-8
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

MARC

LEADER 00000nam a22000005i 4500
001 978-3-031-95973-8
003 DE-He213
005 20260706120051.0
007 cr nn 008mamaa
008 250628s2025 sz | s |||| 0|eng d
020 |a 9783031959738  |9 978-3-031-95973-8 
024 7 |a 10.1007/978-3-031-95973-8  |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 I /  |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, 276 p. 60 illus., 45 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 15762 
505 0 |a 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. 
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 9783031959721 
776 0 8 |i Printed edition:  |z 9783031959745 
830 0 |a Lecture Notes in Computer Science,  |x 1611-3349 ;  |v 15762 
856 4 0 |u https://doi.org/10.1007/978-3-031-95973-8 
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)