04251nam a22005175i 4500001001800000003000900018005001700027007001500044008004100059020003700100024003500137050001500172072001700187072002300204072001600227245024800243250001800491264006900509300006500578336002600643337002600669338003600695347002400731490005900755505161700814520056302431650004202994650003603036650002903072650003203101650003703133650003603170650003403206650004403240700015203284710003403436773002603470776003603496776003603532830005903568856004603627912001403673912001503687912001403702999001703716978-3-031-60599-4DE-He21320251030112101.0cr nn 008mamaa240527s2024    sz |    s    |||| 0|eng d  a97830316059949978-3-031-60599-47 a10.1007/978-3-031-60599-42doi 4aQA76.9.M35 7aUYAM2bicssc 7aCOM0140002bisacsh 7aUYAM2thema10aIntegration of Constraint Programming, Artificial Intelligence, and Operations Researchh[electronic resource] :b21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024, Proceedings, Part II /cedited by Bistra Dilkina.  a1st ed. 2024. 1aCham :bSpringer Nature Switzerland :bImprint: Springer,c2024.  aXIV, 317 p. 79 illus., 62 illus. in color.bonline resource.  atextbtxt2rdacontent  acomputerbc2rdamedia  aonline resourcebcr2rdacarrier  atext filebPDF2rda1 aLecture Notes in Computer Science,x1611-3349 ;v147430 aCore Boosting in SAT-Based Multi-Objective Optimization -- Fair Minimum Representation Clustering -- Proof Logging for the Circuit Constraint -- Probabilistic Lookahead Strong Branching via a Stochastic Abstract Branching Model -- Lookahead, Merge and Reduce for Compiling Relaxed Decision Diagrams for Optimization -- LEO: Learning Efficient Orderings for Multiobjective BDDs -- Minimizing the Cost of Leveraging Influencers in Social Networks: IP and CP Approaches -- Learning Deterministic Surrogates for Robust Convex QCQP -- Strategies for Compressing the Pareto Frontier: Application to Strategic Planning of Hydropower in the Amazon Basin -- Improving Metaheuristic Effciency for Stochastic Optimization Problems by Sequential Predictive Sampling -- SMT-based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability -- CaVE: A Cone-aligned Approach for Fast Predict-then-optimize with Binary Linear Programs -- A Constraint Programming Approach for Aircraft Disassembly Scheduling -- Optimization Over Trained Neural Networks: Taking a Relaxing Walk -- Learning From Scenarios for Repairable Stochastic Scheduling -- Explainable Algorithm Selection for the Capacitated Lot Sizing Problem -- Efficient Structured Perceptron for NP-hard Combinatorial Optimization Problems -- Robustness Verification in Neural Networks -- An Improved Neuro-Symbolic Architecture to Fine-Tune Generative AI Systems -- Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification -- Learning Heuristics for Combinatorial Optimization Problems on K-Partite Hypergraphs.  aThis book constitutes the proceedings of the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024, held in Uppsala, Sweden, during May 28–31, 2024.The 33 full papers and the 9 short papers presented in the proceedings were carefully reviewed and selected from a total of 104 submissions. The content of the papers focus on new techniques or applications in the area and foster the integration of techniques from different fields dealing with large and complex problems. . 0aComputer sciencexMathematics.964041 0aArtificial intelligence.958441 0aComputer science.958552 0aComputer networks .96015714aMathematics of Computing.96650124aArtificial Intelligence.95844124aTheory of Computation.96755224aComputer Communication Networks.9656891 aDilkina, Bistra.eeditor.0(orcid)0000-0002-6784-473X1https://orcid.org/0000-0002-6784-473X4edt4http://id.loc.gov/vocabulary/relators/edt9775532 aSpringerLink (Online service)0 tSpringer Nature eBook08iPrinted edition:z978303160601408iPrinted edition:z9783031606007 0aLecture Notes in Computer Science,x1611-3349 ;v1474340uhttps://doi.org/10.1007/978-3-031-60599-4  aZDB-2-SCS  aZDB-2-SXCS  aZDB-2-LNC  c60172d60172