↓ 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 On CNF Encodings of Decision Diagrams
  3. Altmetric Badge
    Chapter 2 Time-Series Constraints: Improvements and Application in CP and MIP Contexts
  4. Altmetric Badge
    Chapter 3 Finding a Collection of MUSes Incrementally
  5. Altmetric Badge
    Chapter 4 Decomposition Based on Decision Diagrams
  6. Altmetric Badge
    Chapter 5 Logic-Based Decomposition Methods for the Travelling Purchaser Problem
  7. Altmetric Badge
    Chapter 6 Lagrangian Decomposition via Sub-problem Search
  8. Altmetric Badge
    Chapter 7 Non-linear Optimization of Business Models in the Electricity Market
  9. Altmetric Badge
    Chapter 8 Weighted Spanning Tree Constraint with Explanations
  10. Altmetric Badge
    Chapter 9 Forward-Checking Filtering for Nested Cardinality Constraints: Application to an Energy Cost-Aware Production Planning Problem for Tissue Manufacturing
  11. Altmetric Badge
    Chapter 10 Cyclic Routing of Unmanned Aerial Vehicles
  12. Altmetric Badge
    Chapter 11 Parallelizing Constraint Programming with Learning
  13. Altmetric Badge
    Chapter 12 Parallel Composition of Scheduling Solvers
  14. Altmetric Badge
    Chapter 13 Rail Capacity Modelling with Constraint Programming
  15. Altmetric Badge
    Chapter 14 Scheduling Home Hospice Care with Logic-Based Benders Decomposition
  16. Altmetric Badge
    Chapter 15 A Global Constraint for Mining Sequential Patterns with GAP Constraint
  17. Altmetric Badge
    Chapter 16 A Reservoir Balancing Constraint with Applications to Bike-Sharing
  18. Altmetric Badge
    Chapter 17 Optimization Models for a Real-World Snow Plow Routing Problem
  19. Altmetric Badge
    Chapter 18 The TaskIntersection Constraint
  20. Altmetric Badge
    Chapter 19 Integration of AI and OR Techniques in Constraint Programming
  21. Altmetric Badge
    Chapter 20 Constructions and In-Place Operations for MDDs Based Constraints
  22. Altmetric Badge
    Chapter 21 Balancing Nursing Workload by Constraint Programming
  23. Altmetric Badge
    Chapter 22 Designing Spacecraft Command Loops Using Two-Dimension Vehicle Routing
  24. Altmetric Badge
    Chapter 23 Constraint Programming Approach for Spatial Packaging Problem
  25. Altmetric Badge
    Chapter 24 Detecting Semantic Groups in MIP Models
  26. Altmetric Badge
    Chapter 25 Revisiting Two-Sided Stability Constraints
  27. Altmetric Badge
    Chapter 26 Optimal Flood Mitigation over Flood Propagation Approximations
  28. Altmetric Badge
    Chapter 27 A Bit-Vector Solver with Word-Level Propagation
  29. Altmetric Badge
    Chapter 28 A New Solver for the Minimum Weighted Vertex Cover Problem
  30. Altmetric Badge
    Chapter 29 Optimal Upgrading Schemes for Effective Shortest Paths in Networks
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

news
1 news outlet

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
2 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.
Title
Integration of AI and OR Techniques in Constraint Programming
Published by
Springer International Publishing, May 2016
DOI 10.1007/978-3-319-33954-2
ISBNs
978-3-31-933953-5, 978-3-31-933954-2
Editors

Quimper, Claude-Guy