↓ Skip to main content

Integration of AI and OR Techniques in Constraint Programming

Overview of attention for book
Cover of 'Integration of AI and OR Techniques in Constraint Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman
  3. Altmetric Badge
    Chapter 2 Stable Roommates and Constraint Programming
  4. Altmetric Badge
    Chapter 3 Detecting and Exploiting Permutation Structures in MIPs
  5. Altmetric Badge
    Chapter 4 Solving the Quorumcast Routing Problem as a Mixed Integer Program
  6. Altmetric Badge
    Chapter 5 A New MIP Model for Parallel-Batch Scheduling with Non-identical Job Sizes
  7. Altmetric Badge
    Chapter 6 Mining (Soft-) Skypatterns Using Dynamic CSP
  8. Altmetric Badge
    Chapter 7 Modelling with Option Types in MiniZinc
  9. Altmetric Badge
    Chapter 8 Interactive Design of Sustainable Cities with a Distributed Local Search Solver
  10. Altmetric Badge
    Chapter 9 Sliced Table Constraints: Combining Compression and Tabular Reduction
  11. Altmetric Badge
    Chapter 10 The PrePack Optimization Problem
  12. Altmetric Badge
    Chapter 11 An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments
  13. Altmetric Badge
    Chapter 12 Local Search for a Cargo Assembly Planning Problem
  14. Altmetric Badge
    Chapter 13 A Logic Based Benders’ Approach to the Concrete Delivery Problem
  15. Altmetric Badge
    Chapter 14 Evaluating CP Techniques to Plan Dynamic Resource Provisioning in Distributed Stream Processing
  16. Altmetric Badge
    Chapter 15 Disregarding Duration Uncertainty in Partial Order Schedules? Yes, We Can!
  17. Altmetric Badge
    Chapter 16 An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem
  18. Altmetric Badge
    Chapter 17 Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency
  19. Altmetric Badge
    Chapter 18 Representative Encodings to Translate Finite CSPs into SAT
  20. Altmetric Badge
    Chapter 19 Integration of AI and OR Techniques in Constraint Programming
  21. Altmetric Badge
    Chapter 20 Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient Scheduling
  22. Altmetric Badge
    Chapter 21 Cost Impact Guided LNS
  23. Altmetric Badge
    Chapter 22 Proteus: A Hierarchical Portfolio of Solvers and Transformations
  24. Altmetric Badge
    Chapter 23 Buffered Resource Constraint: Algorithms and Complexity
  25. Altmetric Badge
    Chapter 24 Combining Discrete Ellipsoid-Based Search and Branch-and-Cut for Binary Quadratic Programming Problems
  26. Altmetric Badge
    Chapter 25 Parallel Combinatorial Optimization with Decision Diagrams
  27. Altmetric Badge
    Chapter 26 A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
  28. Altmetric Badge
    Chapter 27 Parallel Depth-Bounded Discrepancy Search
  29. Altmetric Badge
    Chapter 28 Self-splitting of Workload in Parallel Computation
  30. Altmetric Badge
    Chapter 29 The Markov Transition Constraint
  31. Altmetric Badge
    Chapter 30 New Lower Bounds on the Number of Vehicles for the Vehicle Routing Problem with Time Windows
  32. Altmetric Badge
    Chapter 31 Constrained Clustering Using Column Generation
  33. Altmetric Badge
    Chapter 32 A Constraint Programming-Based Column Generation Approach for Operating Room Planning and Scheduling
  34. Altmetric Badge
    Chapter 33 Dynamic Controllability and Dispatchability Relationships
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

4 tweeters
1 Facebook page


3 Dimensions

Readers on

1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Integration of AI and OR Techniques in Constraint Programming
Published by
Springer International Publishing, May 2014
DOI 10.1007/978-3-319-07046-9
978-3-31-907045-2, 978-3-31-907046-9

Simonis, Helmut

Twitter Demographics

The data shown below were collected from the profiles of 4 tweeters who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Australia 1 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 1 100%
Readers by discipline Count As %
Mathematics 1 100%