Integration of AI and OR techniques in constraint programming : 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29-June 1, 2016, Proceedings /: 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29-June 1, 2016, Proceedings. (2016)

• Record Type: Book
• Other Titles: CPAIOR 2016
• Further Information: Note: Claude-Guy Quimper (ed.).
• Editors: Quimper, Claude-Guy
• Other Names: CPAIOR (Conference : 2014- ), 13th
• Contents: On CNF Encodings for Decision Diagrams -- Time-Series Constraints: Improvements and Application in CP and MIP Contexts -- Finding a Collection of MUSes Incrementally -- Decompositions Based on Decision Diagrams -- Logic-Based Decomposition Methods for the Travelling Purchaser Problem -- Lagrangian Decomposition via Subproblem Search -- Non-linear Optimization of Business Models in the Electricity Market -- Weighted Spanning Tree Constraint with Explanations -- Forward-Checking ltering for Nested Cardinality Constraints: Application to an Energy Cost Aware Production Planning Problem for Tissue Manufacturing -- Cyclic Routing of Unmanned Aerial Vehicles -- Parallelizing Constraint Programming with Learning -- Parallel Composition of Scheduling Solvers -- Rail Capacity Planning With Constraint Programming -- Scheduling Home Hospice Care with Logic-Based Benders Decomposition -- A Global Constraint for Mining Sequential Patterns with GAP Constraint -- A Reservoir Balancing Constraint with Applications to Bike-Sharing -- Optimization Models for a Real-World Snow Plow Routing Problem -- The TASKINTERSECTION Constraint -- A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems -- Constructions and In-place Operations for MDDs Based Constraints -- Balancing Nursing Workload by Constraint Programming -- Designing Spacecraft Command Loops Using Two-Dimension Vehicle Routing -- Constraint Programming Approach for Spatial Packaging Problem -- Detecting Semantic Groups in MIP Models -- Revisiting Two-Sided Stability Constraints -- Optimal Flood Mitigation over Flood Propagation Approximations -- A Bit-Vector Solver with Word Level Propagation -- A New Solver for the Minimum Weighted Vertex Cover Problem -- Optimal Upgrading Schemes for Eective Shortest Paths in Networks.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xix, 421 pages), illustrations
• Subjects: 005.1/16; Computer science; Constraint programming (Computer science) -- Congresses; Combinatorial optimization -- Data processing -- Congresses; Artificial intelligence -- Congresses; Electronic data processing; Computational complexity; Computer software; Artificial intelligence; Artificial intelligence; Combinatorial optimization -- Data processing; Constraint programming (Computer science); Computers -- Data Processing; Computers -- Programming -- Algorithms; Computers -- Intelligence (AI) & Semantics; Business & Economics -- Operations Research; Maths for computer scientists; Discrete mathematics; Algorithms & data structures; Artificial intelligence; Operational research; Mathematical theory of computation; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319339542; 3319339540; 3319339532; 9783319339535
• Related ISBNs: 9783319339535
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed May 19, 2016).
• 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.