Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 18th International Conference, Cpaior 2021, Vienna, Austria,, Stuckey Peter J.
Algorithmic.- Hypergraph Decompositions.- Multi-Agent Path Finding.- New Constraint Programming Model.- On-Demand Multimodal Transit Systems.- Integer programming techniques.- Constrained Clustering.- Deep Neural Networks.- -Inference and relaxation methods.- Innovative applications of CP/AI/OR techniques.
Автор: van Hoeve Название: Integration of Constraint Programming, Artificial Intelligence, and Operations Research ISBN: 3319930303 ISBN-13(EAN): 9783319930305 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 15th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2018, held in Delft, The Netherlands, in June 2018. The 47 full papers presented together with 3 abstracts of invited talks and 3 abstracts of fast-track journal papers were carefully reviewed and selected from 111 submissions. The conference brings together interested researchers from constraint programming, artificial intelligence, and operations research to present new techniques or applications in the intersection of these fields and provides an opportunity for researchers in one area to learn about techniques in the others, and to show how the integration of techniques from different fields can lead to interesting results on large and complex problems.
Автор: Louis-Martin Rousseau; Kostas Stergiou Название: Integration of Constraint Programming, Artificial Intelligence, and Operations Research ISBN: 3030192113 ISBN-13(EAN): 9783030192112 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, held in Thessaloniki, Greece, in June 2019. The 34 full papers presented together with 9 short papers were carefully reviewed and selected from 94 submissions.
Автор: Pavel Brazdil; Alipio Jorge Название: Progress in Artificial Intelligence: Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving ISBN: 354043030X ISBN-13(EAN): 9783540430308 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The tenth Portuguese Conference on Arti?cial Intelligence, EPIA 2001 was held in Porto and continued the tradition of previous conferences in the series. The conference was organized, as usual, under the auspices of the Portuguese Association for Arti?cial Intelligence (APPIA, http://www.appia.pt).
Автор: Domenico Salvagnin; Michele Lombardi Название: Integration of AI and OR Techniques in Constraint Programming ISBN: 3319597752 ISBN-13(EAN): 9783319597751 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Sharpening Constraint Programming approaches for Bit-Vector Theory.- Range-Consistent Forbidden Regions of Allen's Relations.- MDDs are Efficient Modeling Tools: An Application to Dispersion Constraints.- On Finding the Optimal Relaxed Decision Diagram.- Design and Implementation of Bounded-Length Sequence Variables.- In Search of Balance: The Challenge of Generating Balanced Latin Rectangles.- Debugging Unsatisfiable Constraint Models.- Learning Decision Trees with Exible Constraints and Objectives Using Integer Optimization.- Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery.- Minimizing Landscape Resistance for Habitat Conservation.- A Hybrid Approach for Stator Winding Design Optimization.- A Distributed Optimal Method for the Geographically Distributed Data Centres Problem.- Explanation-Based-Weighted Degree.- Counting-Weighted Spanning Trees to Solve Constrained Minimum Spanning Tree Problems.- The Weighted Arborescence Constraint.- Learning When to Use a Decomposition.- Experiments with Conict Analysis in Mixed Integer Programming.- A First Look at Picking Dual Variables for Maximizing Reduced-cost Based fixing.- Experimental Validation of Volume-based Comparison for Double-McCormick Relaxations.- Vehicle Routing Problem with Min-max Objective and Heterogeneous Fleet.- Solving the Traveling Salesman Problem with Time Windows with Dynamic Discretization Discovery.- A Fast Prize-collecting Steiner Forest Algorithm for Functional Analyses in Biological Networks.- Scenario Based Learning for Stochastic Combinatorial Optimization.- Optimal Stock Sizing in a Cutting Stock Problem with Stochastic Demands.- Stochastic Task Networks: Trading Performance for Stability.- Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables.- A Multi-stage Simulated Annealing Algorithm for the Torpedo Scheduling Problem.- Combining CP and ILP in a Tree Decomposition of Bounded Height to Solve the Sum Coloring Problem.- A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond.- The Nemhauser-Trotter Reduction and Lifted Message Passing for Weighted CSPs.- A Local Search Approach for Incomplete Soft Constraint Problems: Experimental Results on Meeting Scheduling Problems.
Автор: Andrea Lodi; Michela Milano; Paolo Toth Название: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems ISBN: 3642135196 ISBN-13(EAN): 9783642135194 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the refereed proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2010, held in Bologna, Italy, in June 2010.
Автор: Willem-Jan van Hoeve; Elvin Coban Название: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems ISBN: 3642019285 ISBN-13(EAN): 9783642019289 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the refereed proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2009, held in Pittsburgh, PA, USA, in May 2009.
Автор: Claude-Guy Quimper Название: Integration of AI and OR Techniques in Constraint Programming ISBN: 3319339532 ISBN-13(EAN): 9783319339535 Издательство: Springer Рейтинг: Цена: 59630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Laurent Michel Название: Integration of AI and OR Techniques in Constraint Programming ISBN: 331918007X ISBN-13(EAN): 9783319180076 Издательство: Springer Рейтинг: Цена: 59630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2015, held in Barcelona, Spain, in May 2015.
Автор: Helmut Simonis Название: Integration of AI and OR Techniques in Constraint Programming ISBN: 3319070452 ISBN-13(EAN): 9783319070452 Издательство: Springer Рейтинг: Цена: 77320.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2014, held in Cork, Ireland, in May 2014. The papers focus on constraint programming and global constraints;
Автор: Roman Bartak, Robert A. Morris, K. Brent Venable Название: An Introduction to Constraint-Based Temporal Reasoning ISBN: 1608459675 ISBN-13(EAN): 9781608459674 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 41580.00 T Наличие на складе: Невозможна поставка. Описание: Solving challenging computational problems involving time has been a critical component in the development of artificial intelligence systems almost since the inception of the field. This book provides a concise introduction to the core computational elements of temporal reasoning for use in AI systems for planning and scheduling, as well as systems that extract temporal information from data.
Автор: Youssef Hamadi; Lakhdar Sais Название: Handbook of Parallel Constraint Reasoning ISBN: 3030096947 ISBN-13(EAN): 9783030096946 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The goal in this book is to overview these achievements in a concise way, assuming the reader is familiar with the classical, sequential background. It presents work demonstrating the use of multiple resources from single machine multi-core and GPU-based computations to very large scale distributed execution platforms up to 80,000 processing units.The contributions in the book cover the most important and recent contributions in parallel propositional satisfiability (SAT), maximum satisfiability (MaxSAT), quantified Boolean formulas (QBF), satisfiability modulo theory (SMT), theorem proving (TP), answer set programming (ASP), mixed integer linear programming (MILP), constraint programming (CP), stochastic local search (SLS), optimal path finding with A*, model checking for linear-time temporal logic (MC/LTL), binary decision diagrams (BDD), and model-based diagnosis (MBD).The book is suitable for researchers, graduate students, advanced undergraduates, and practitioners who wish to learn about the state of the art in parallel constraint reasoning.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
