Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019 : Proceedings /: 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019 : Proceedings. (2020)

• Record Type: Book
• Other Titles: CPAIOR 2019
• Further Information: Note: Louis-Martin Rousseau, Kostas Stergiou (eds.).
• Other Names: Rousseau, Louis-Martin; Stergiou, Kostas; International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 16th
• Contents: Constraint Programming for Dynamic Symbolic Execution of JavaScript -- Sequential and Parallel Solution-Biased Search for Subgraph Algorithms -- Core-Boosted Linear Search for Incomplete MaxSAT solving -- Binary Decision Diagrams for Bin Packing with Minimum Color Fragmentation -- Local Rapid Learning for Integer Programs -- A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming -- Generating Compound Moves in Local Search by Hybridisation with Complete Search -- SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations -- A Constraint Programming Approach to Electric Vehicle Routing with Time Windows -- A Sampling-free Anticipatory Algorithm for the Kidney Exchange Problem -- Evaluating Ising Processing Units with Integer Programming -- Using Cost-Based Solution Densities from TSP Relaxations to Solve Routing Problems -- A Counting-Based Approach to Scalable Micro-service Deployment -- An Optimization Approach to the Ordering Phase of an Attended Home Delivery Service -- Consistency for 0-1 Programming -- Prediction + Optimization for the Knapsack Problem -- The maximum weighted submatrix coverage problem: A CP approach -- Learning MILP Resolution Outcomes Before Reaching Time-Limit -- An Improved Subsumption Testing Algorithm for the Optimal-Size Sorting Network Problem -- Investigating Constraint Programming for Real-World Industrial Test Laboratory Scheduling -- An Approach to Robustness in the Stable Roommates Problem and its Comparison with the Stable Marriage Problem -- Optimality Clue for Graph Coloring Problem -- Computing Wasserstein Barycenters via Linear Programming -- Repairing Learned Controllers with Convex Optimization: a Case Study -- A Hybrid Approach for Exact Coloring of Massive Graphs -- Modelling and Solving the Minimum Shift Design Problem -- A Computational Comparison of Optimization Methods for the Golomb Ruler Problem -- A new CP-approach for a parallel machine scheduling problem with time constraints on ma chine qualifications -- Efficient Solution Methods for the Cumulative-Interference Channel Assignment Problem Using Integer Optimization and Constraint Programming -- Heat Exchanger Circuitry Design by Decision Diagrams -- A Column Generation for Online Ride-Sharing Services -- Some experiments with submodular function maximization via integer programming -- Metric Hybrid Factored Planning in Nonlinear Domains with Constraint Generation -- Last-Mile Scheduling Under Uncertainty -- Building Optimal Steiner Trees on Supercomputers by using up to 43, 000 Cores -- Deep Inverse Optimization -- A Study on the Traveling Salesman Problem with a Drone -- Lower Bounds for Uniform Machine Scheduling Using Decision Diagrams -- Extending Compact-MDD to Basic Smart Multi-Valued Variable Diagrams -- Arc Consistency Revisited -- Embedding Decision Diagrams into Generative Adversarial Networks -- Time Table Edge Finding with Energy Variables -- Quadratic Reformulation of Nonlinear Pseudo-Boolean Functions via the Constraint Composite Graph.
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Copyright Date: 2020
• Extent: 1 online resource (532 pages)
• Subjects: 005.116; 518; Constraint programming (Computer science) -- Congresses; Artificial intelligence -- Congresses; Operations research -- Congresses; Electronic books
• Languages: English
• ISBNs: 9783030589424
• Related ISBNs: 9783030589417
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.