↓ Skip to main content

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Overview of attention for book
Cover of 'Integration of Constraint Programming, Artificial Intelligence, and Operations Research'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Constraint Programming for Dynamic Symbolic Execution of JavaScript
  3. Altmetric Badge
    Chapter 2 Sequential and Parallel Solution-Biased Search for Subgraph Algorithms
  4. Altmetric Badge
    Chapter 3 Core-Boosted Linear Search for Incomplete MaxSAT
  5. Altmetric Badge
    Chapter 4 Binary Decision Diagrams for Bin Packing with Minimum Color Fragmentation
  6. Altmetric Badge
    Chapter 5 Local Rapid Learning for Integer Programs
  7. Altmetric Badge
    Chapter 6 A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming
  8. Altmetric Badge
    Chapter 7 Generating Compound Moves in Local Search by Hybridisation with Complete Search
  9. Altmetric Badge
    Chapter 8 SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations
  10. Altmetric Badge
    Chapter 9 A Constraint Programming Approach to Electric Vehicle Routing with Time Windows
  11. Altmetric Badge
    Chapter 10 A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem
  12. Altmetric Badge
    Chapter 11 Evaluating Ising Processing Units with Integer Programming
  13. Altmetric Badge
    Chapter 12 Using Cost-Based Solution Densities from TSP Relaxations to Solve Routing Problems
  14. Altmetric Badge
    Chapter 13 A Counting-Based Approach to Scalable Micro-service Deployment
  15. Altmetric Badge
    Chapter 14 An Optimization Approach to the Ordering Phase of an Attended Home Delivery Service
  16. Altmetric Badge
    Chapter 15 Consistency for 0–1 Programming
  17. Altmetric Badge
    Chapter 16 An Investigation into Prediction + Optimisation for the Knapsack Problem
  18. Altmetric Badge
    Chapter 17 The Maximum Weighted Submatrix Coverage Problem: A CP Approach
  19. Altmetric Badge
    Chapter 18 Learning MILP Resolution Outcomes Before Reaching Time-Limit
  20. Altmetric Badge
    Chapter 19 An Improved Subsumption Testing Algorithm for the Optimal-Size Sorting Network Problem
  21. Altmetric Badge
    Chapter 20 Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling
  22. Altmetric Badge
    Chapter 21 An Approach to Robustness in the Stable Roommates Problem and Its Comparison with the Stable Marriage Problem
  23. Altmetric Badge
    Chapter 22 Optimality Clue for Graph Coloring Problem
  24. Altmetric Badge
    Chapter 23 Computing Wasserstein Barycenters via Linear Programming
  25. Altmetric Badge
    Chapter 24 Repairing Learned Controllers with Convex Optimization: A Case Study
  26. Altmetric Badge
    Chapter 25 A Hybrid Approach for Exact Coloring of Massive Graphs
  27. Altmetric Badge
    Chapter 26 Modelling and Solving the Minimum Shift Design Problem
  28. Altmetric Badge
    Chapter 27 A Computational Comparison of Optimization Methods for the Golomb Ruler Problem
  29. Altmetric Badge
    Chapter 28 A New CP-Approach for a Parallel Machine Scheduling Problem with Time Constraints on Machine Qualifications
  30. Altmetric Badge
    Chapter 29 Efficient Solution Methods for the Cumulative-Interference Channel Assignment Problem Using Integer Optimization and Constraint Programming
  31. Altmetric Badge
    Chapter 30 Heat Exchanger Circuitry Design by Decision Diagrams
  32. Altmetric Badge
    Chapter 31 Column Generation for Real-Time Ride-Sharing Operations
  33. Altmetric Badge
    Chapter 32 Some Experiments with Submodular Function Maximization via Integer Programming
  34. Altmetric Badge
    Chapter 33 Metric Hybrid Factored Planning in Nonlinear Domains with Constraint Generation
  35. Altmetric Badge
    Chapter 34 Last-Mile Scheduling Under Uncertainty
  36. Altmetric Badge
    Chapter 35 Building Optimal Steiner Trees on Supercomputers by Using up to 43,000 Cores
  37. Altmetric Badge
    Chapter 36 Deep Inverse Optimization
  38. Altmetric Badge
    Chapter 37 A Study on the Traveling Salesman Problem with a Drone
  39. Altmetric Badge
    Chapter 38 Lower Bounds for Uniform Machine Scheduling Using Decision Diagrams
  40. Altmetric Badge
    Chapter 39 Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams
  41. Altmetric Badge
    Chapter 40 Arc Consistency Revisited
  42. Altmetric Badge
    Chapter 41 Embedding Decision Diagrams into Generative Adversarial Networks
  43. Altmetric Badge
    Chapter 42 Time Table Edge Finding with Energy Variables
  44. Altmetric Badge
    Chapter 43 Quadratic Reformulation of Nonlinear Pseudo-Boolean Functions via the Constraint Composite Graph
Attention for Chapter 32: Some Experiments with Submodular Function Maximization via Integer Programming
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
2 Mendeley