LEADER 05480nam 22007815 450 001 9910864188203321 005 20251225193627.0 010 $a3-031-60924-7 024 7 $a10.1007/978-3-031-60924-4 035 $a(CKB)32138107800041 035 $a(MiAaPQ)EBC31352141 035 $a(Au-PeEL)EBL31352141 035 $a(DE-He213)978-3-031-60924-4 035 $a(EXLCZ)9932138107800041 100 $a20240522d2024 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCombinatorial Optimization $e8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22?24, 2024, Revised Selected Papers /$fedited by Amitabh Basu, Ali Ridha Mahjoub, Juan José Salazar González 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (425 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14594 311 08$a3-031-60923-9 327 $aInteger Programming -- On disjunction convex hulls by lifting -- On a geometric graph-covering problem related to optimal safety-landing site location -- Quadratically Constrained Reformulation, Strong Semidefinite Programming Bounds, and Algorithms for the Chordless Cycle Problem -- A Family of Spanning-Tree Formulations for the Maximum Cut Problem -- Optimal cycle selections: An experimental assessment of integer programming formulations -- 1-Persistency of the clique relaxation of the stable set polytope -- Alternating direction method and deep learning for discrete control with storage -- Branch and Cut for Partitioning a Graph into a Cycle of Clusters -- Graph Theory -- Computing the Edge Expansion of a Graph using Semidefinite Programming -- Minimizing External Vertices in Hypergraph Orientations -- Open-separating dominating codes in graphs -- On the complexity of the minimum chromatic violation problem -- Crystal Trees -- Parameterized Algorithms -- Reducing Treewidth for SAT-related Problems using Simple Liftings -- Total Matching and Subdeterminants -- A new structural parameter on single machine scheduling with release dates and deadlines -- Fixed-Parameter Algorithms for Cardinality-Constrained Graph Partitioning Problems on Sparse Graphs -- Approximation Algorithms -- Sequencing Stochastic Jobs with a Single Sample -- The Thief Orienteering Problem on Series-Parallel Graphs -- Approximation Algorithm for Job Scheduling with Reconfigurable Resources -- Network Design on Undirected Series-Parallel Graphs -- Online Graph Coloring with Predictions -- Integer Programming for Machine Learning -- Neuron pairs in binarized neural networks robustness verification via integer linear programming -- Optimal counterfactual explanations for k-Nearest Neighbors using Mathematical Optimization and Constraint Programming -- Applications -- Surrogate Constraints for Synchronized Energy Production/Consumption -- A Robust Two-stage Model For the Urban Air Mobility Flight Scheduling Problem -- Optimal charging station location in a linear cycle path with deviations -- An efficient timing algorithm for drivers with rest periods -- Fair Energy Allocation for Collective Self-Consumption -- Day-ahead lot-sizing under uncertainty: An application to green hydrogen production. 330 $aThis book constitutes the refereed proceedings of the 8th International Symposium on Combinatorial Optimization, ISCO 2024, held in La Laguna, Tenerife, Spain, during May 22?24, 2024. The 30 full papers included in this book were carefully reviewed and selected from 46 submissions. They were organized in topical sections as follows: integer programming; graph theory; parameterized algorithms; approximation algorithms; integer programming for machine learning; and applications. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14594 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aComputer networks 606 $aAlgorithms 606 $aData structures (Computer science) 606 $aInformation theory 606 $aNumerical analysis 606 $aArtificial intelligence 606 $aDiscrete Mathematics in Computer Science 606 $aComputer Communication Networks 606 $aDesign and Analysis of Algorithms 606 $aData Structures and Information Theory 606 $aNumerical Analysis 606 $aArtificial Intelligence 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aComputer networks. 615 0$aAlgorithms. 615 0$aData structures (Computer science) 615 0$aInformation theory. 615 0$aNumerical analysis. 615 0$aArtificial intelligence. 615 14$aDiscrete Mathematics in Computer Science. 615 24$aComputer Communication Networks. 615 24$aDesign and Analysis of Algorithms. 615 24$aData Structures and Information Theory. 615 24$aNumerical Analysis. 615 24$aArtificial Intelligence. 676 $a40,151 700 $aBasu$b Amitabh$01740263 701 $aMahjoub$b A. Ridha$g(Ali Ridha)$01885767 701 $aSalazar-Gonza?lez$b Juan-Jose?$00 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910864188203321 996 $aCombinatorial Optimization$94521125 997 $aUNINA