Complexity of Infinite-Domain Constraint Satisfaction, Manuel Bodirsky

Автор: Justyna Petke
Название: Bridging Constraint Satisfaction and Boolean Satisfiability
ISBN: 3319218093 ISBN-13(EAN): 9783319218090
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers.

Автор: Makoto Yokoo
Название: Distributed Constraint Satisfaction
ISBN: 3540675965 ISBN-13(EAN): 9783540675969
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Offers an overview of Constraint Satisfaction Problems (CSPs), adapts related search algorithms and consistency algorithms for applications to multi-agent systems, and consolidates advanced research devoted to cooperation in such systems. This title introduces the techniques that are applied to various problems in multi-agent systems.

Автор: Makoto Yokoo
Название: Distributed Constraint Satisfaction
ISBN: 3642640206 ISBN-13(EAN): 9783642640209
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Distributed Constraint Satisfaction gives an overview of Constraint Satisfaction Problems (CSPs), adapts related search algorithms and consistency algorithms for applications to multi-agent systems, and consolidates recent research devoted to cooperation in such systems.

Автор: Ian Miguel
Название: Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
ISBN: 144711048X ISBN-13(EAN): 9781447110484
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 1 Solving Classical CSPs . 2 Applicat ions of Classical CSP . 3 Limitations of Classical CSP . 2 Dynamic CSP . 4 Dynamic Flexible CSP . 1 Constraints and Constraint Graphs . 2 Tree Search Solution Techniques for Classical CSP . 1 Backtrack . 2 Backjumping .

Автор: Bart?omiej Jacek Kubica
Название: Interval Methods for Solving Nonlinear Constraint Satisfaction, Optimization and Similar Problems
ISBN: 3030137945 ISBN-13(EAN): 9783030137946
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book highlights recent research on interval methods for solving nonlinear constraint satisfaction, optimization and similar problems. Further, it presents a comprehensive survey of applications in various branches of robotics, artificial intelligence systems, economics, control theory, dynamical systems theory, and others. Three appendices, on the notation, representation of numbers used as intervals’ endpoints, and sample implementations of the interval data type in several programming languages, round out the coverage.

Автор: Angelo Oddi; Fran?ois Fages; Francesca Rossi
Название: Recent Advances in Constraints
ISBN: 3642032508 ISBN-13(EAN): 9783642032509
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed and extended post-workshop proceedings of the 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, held in Rome, Italy, in June 2008.

Автор: Zhou Neng Fa
Название: Constraint Solving and Planning with Picat
ISBN: 3319258818 ISBN-13(EAN): 9783319258812
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

An Overview of Picat.- Basic Constraint Modeling.- Advanced Constraint Modeling.- Dynamic Programming with Tabling.- From Dynamic Programming to Planning.- Planning with Resource-Bounded Search.- Encodings for the Traveling Salesman Problem.- Index.

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

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

Автор: Efr?n Mezura-Montes
Название: Constraint-Handling in Evolutionary Optimization
ISBN: 3642101550 ISBN-13(EAN): 9783642101557
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is the result of a special session on constraint-handling techniques used in evolutionary algorithms within the Congress on Evolutionary Computation (CEC) in 2007. It presents recent research in constraint-handling in evolutionary optimization.

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

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

Автор: Petke Justyna
Название: Bridging Constraint Satisfaction and Boolean Satisfiability
ISBN: 3319373641 ISBN-13(EAN): 9783319373645
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers.

Автор: Francisco Azevedo; Pedro Barahona; Francois Fages;
Название: Recent Advances in Constraints
ISBN: 3540738169 ISBN-13(EAN): 9783540738169
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, held in Caparica, Portugal in June 2006.