Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Handbook of Parallel Constraint Reasoning, Youssef Hamadi; Lakhdar Sais


Варианты приобретения
Цена: 19564.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Youssef Hamadi; Lakhdar Sais
Название:  Handbook of Parallel Constraint Reasoning
ISBN: 9783319635156
Издательство: Springer
Классификация:



ISBN-10: 3319635158
Обложка/Формат: Hardcover
Вес: 1.15 кг.
Дата издания: 17.04.2018
Язык: English
Издание: 1st ed. 2017
Иллюстрации: 53 tables, color; 53 illustrations, color; 56 illustrations, black and white; approx. 675 p. 109 illus., 53 illus. in color.
Размер: 234 x 156 x 38
Читательская аудитория: General (us: trade)
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание:

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.




A Perspective of Constraint-Based Reasoning

Автор: Hans W. Guesgen; Joachim Hertzberg
Название: A Perspective of Constraint-Based Reasoning
ISBN: 3540555102 ISBN-13(EAN): 9783540555100
Издательство: Springer
Рейтинг:
Цена: 4890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Examining constraint satisfaction, this monograph presents all approaches under a common, generalizing view: dynamic constraints. It aims to provide insights about the different approaches, and to form a practical basis for teaching constraint-based reasoning.

Integration of AI and OR Techniques in Constraint Programming

Автор: Laurent Michel
Название: Integration of AI and OR Techniques in Constraint Programming
ISBN: 331918007X ISBN-13(EAN): 9783319180076
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Progress in Artificial Intelligence: Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving

Автор: 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
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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).

Integration of AI and OR Techniques in Constraint Programming

Автор: Claude-Guy Quimper
Название: Integration of AI and OR Techniques in Constraint Programming
ISBN: 3319339532 ISBN-13(EAN): 9783319339535
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Integration of AI and OR Techniques in Constraint Programming

Автор: Helmut Simonis
Название: Integration of AI and OR Techniques in Constraint Programming
ISBN: 3319070452 ISBN-13(EAN): 9783319070452
Издательство: Springer
Рейтинг:
Цена: 11598.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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;

Constraint Programming and Decision Making: Theory and Applications

Автор: Martine Ceberio; Vladik Kreinovich
Название: Constraint Programming and Decision Making: Theory and Applications
ISBN: 3319617524 ISBN-13(EAN): 9783319617527
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This book describes new algorithms and ideas for making effective decisions under constraints, including applications in control engineering, manufacturing (how to optimally determine the production level), econometrics (how to better predict stock market behavior), and environmental science and geosciences (how to combine data of different types). It also describes general algorithms and ideas that can be used in other application areas.

The book presents extended versions of selected papers from the annual International Workshops on Constraint Programming and Decision Making (CoProd'XX) from 2013 to 2016. These workshops, held in the US (El Paso, Texas) and in Europe (Wurzburg, Germany, and Uppsala, Sweden), have attracted researchers and practitioners from all over the world.

It is of interest to practitioners who benefit from the new techniques, to researchers who want to extend the ideas from these papers to new application areas and/or further improve the corresponding algorithms, and to graduate students who want to learn more - in short, to anyone who wants to make more effective decisions under constraints.

Logic-Based 0–1 Constraint Programming

Автор: Peter Barth
Название: Logic-Based 0–1 Constraint Programming
ISBN: 146128564X ISBN-13(EAN): 9781461285649
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A logic view of 0-1 integer programming problems, providing new insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class.

Data Mining and Constraint Programming

Автор: Bessiere
Название: Data Mining and Constraint Programming
ISBN: 3319501364 ISBN-13(EAN): 9783319501369
Издательство: Springer
Рейтинг:
Цена: 8106.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It would not only allow one to use data mining techniques in constraint programming to identify and update constraints and optimization criteria, but also to employ constraints and criteria in data mining and machine learning in order to discover models compatible with prior knowledge.

Principles and Practice of Constraint Programming

Автор: Rueher
Название: Principles and Practice of Constraint Programming
ISBN: 3319449524 ISBN-13(EAN): 9783319449524
Издательство: Springer
Рейтинг:
Цена: 14814.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016. The papers are grouped into the following tracks: technical track;


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия