menu
{ "item_title" : "Integration of AI and or Techniques in Constraint Programming", "item_author" : [" Helmut Simonis "], "item_description" : "Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman.- Stable Roommates and Constraint Programming.- Detecting and Exploiting Permutation Structures in MIPs.- Solving the Quorumcast Routing Problem as a Mixed Integer Program.- A New MIP Model for Parallel-Batch Scheduling with Non-identical Job Sizes.- Mining (Soft-) Skypatterns Using Dynamic CSP.- Modelling with Option Types in MiniZinc.- Interactive Design of Sustainable Cities with a Distributed Local Search Solver.- Sliced Table Constraints: Combining Compression and Tabular Reduction.- The PrePack Optimization Problem.- An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments.- Local Search for a Cargo Assembly Planning Problem.- A Logic Based Benders' Approach to the Concrete Delivery Problem.- Evaluating CP Techniques to Plan Dynamic Resource Provisioning in Distributed Stream Processing.- Disregarding Duration Uncertainty in Partial Order Schedules? Yes, We Can.- An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem.- Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency.- Representative Encodings to Translate Finite CSPs into SAT.- SAT and Hybrid Models of the Car Sequencing Problem.- Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient Scheduling.- Cost Impact Guided LNS.- Proteus: A Hierarchical Portfolio of Solvers and Transformations.- Buffered Resource Constraint: Algorithms and Complexity.- Combining Discrete Ellipsoid-Based Search and Branch-and-Cut for Binary Quadratic Programming Problems.- Parallel Combinatorial Optimization with Decision Diagrams .- A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems.- Parallel Depth-Bounded Discrepancy Search.- Self-splitting of Workload in Parallel Computation.- The Markov Transition Constraint.- New Lower Bounds on the Number of Vehicles for the Vehicle Routing Problem with Time Windows.- Constrained Clustering Using Column Generation.- A Constraint Programming-Based Column Generation Approach for Operating Room Planning and Scheduling.- Dynamic Controllability and Dispatchability Relationships.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/3/31/907/045/3319070452_b.jpg", "price_data" : { "retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Integration of AI and or Techniques in Constraint Programming|Helmut Simonis

Integration of AI and or Techniques in Constraint Programming : 11th International Conference, Cpaior 2014, Cork, Ireland, May 19-23, 2014, Proceedings

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

Overview

Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman.- Stable Roommates and Constraint Programming.- Detecting and Exploiting Permutation Structures in MIPs.- Solving the Quorumcast Routing Problem as a Mixed Integer Program.- A New MIP Model for Parallel-Batch Scheduling with Non-identical Job Sizes.- Mining (Soft-) Skypatterns Using Dynamic CSP.- Modelling with Option Types in MiniZinc.- Interactive Design of Sustainable Cities with a Distributed Local Search Solver.- Sliced Table Constraints: Combining Compression and Tabular Reduction.- The PrePack Optimization Problem.- An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments.- Local Search for a Cargo Assembly Planning Problem.- A Logic Based Benders' Approach to the Concrete Delivery Problem.- Evaluating CP Techniques to Plan Dynamic Resource Provisioning in Distributed Stream Processing.- Disregarding Duration Uncertainty in Partial Order Schedules? Yes, We Can.- An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem.- Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency.- Representative Encodings to Translate Finite CSPs into SAT.- SAT and Hybrid Models of the Car Sequencing Problem.- Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient Scheduling.- Cost Impact Guided LNS.- Proteus: A Hierarchical Portfolio of Solvers and Transformations.- Buffered Resource Constraint: Algorithms and Complexity.- Combining Discrete Ellipsoid-Based Search and Branch-and-Cut for Binary Quadratic Programming Problems.- Parallel Combinatorial Optimization with Decision Diagrams .- A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems.- Parallel Depth-Bounded Discrepancy Search.- Self-splitting of Workload in Parallel Computation.- The Markov Transition Constraint.- New Lower Bounds on the Number of Vehicles for the Vehicle Routing Problem with Time Windows.- Constrained Clustering Using Column Generation.- A Constraint Programming-Based Column Generation Approach for Operating Room Planning and Scheduling.- Dynamic Controllability and Dispatchability Relationships.

This item is Non-Returnable

Details

  • ISBN-13: 9783319070452
  • ISBN-10: 3319070452
  • Publisher: Springer
  • Publish Date: May 2014
  • Dimensions: 9.21 x 6.14 x 1 inches
  • Shipping Weight: 1.52 pounds
  • Page Count: 482

Related Categories

You May Also Like...

    1

BAM Customer Reviews