Handbook of Constraint Programming, Rossi, Francesca

Автор: Ioannis Vlahavas; Panagiotis Tsarchopoulos; Ilias
Название: Parallel and Constraint Logic Programming
ISBN: 0792383710 ISBN-13(EAN): 9780792383710
Издательство: Springer
Рейтинг:
Цена: 25149.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constraint Logic Programming (CLP) extends the semantics of Prolog in such a way that the combinatorial explosion, a characteristic of most problems in the field of Artificial Intelligence, can be tackled efficiently. This book presents parallel and constraint logic programming, offering a basic understanding of the two fields.

Автор: 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.

Автор: Brahim Hnich; Mats Carlsson; Francois Fages; Franc
Название: Recent Advances in Constraints
ISBN: 354034215X ISBN-13(EAN): 9783540342151
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed and extended post-proceedings of the Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005. This book features the papers that are organized in topical sections on global constraints, search and heuristics, language and implementation issues, and modeling.

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

Описание: Covers the proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. This book addresses various aspects of constraint and logic programming, including foundational issues, and implementation techniques.

Автор: 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.

Автор: Boi Faltings; Adrian Petcu; Fran?ois Fages; France
Название: Recent Advances in Constraints
ISBN: 3540251766 ISBN-13(EAN): 9783540251767
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction and Constraint Logic Programming, CSCLP 2004, held in Lausanne, Switzerland in June 2004. This work includes papers that are organized in topical sections on constraint propagation, constraint search, and applications.

Автор: Ioannis Vlahavas; Panagiotis Tsarchopoulos; Ilias
Название: Parallel and Constraint Logic Programming
ISBN: 1461373298 ISBN-13(EAN): 9781461373292
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Krzysztof R. Apt; Francois Fages; Francesca Rossi;
Название: Recent Advances in Constraints
ISBN: 3540218343 ISBN-13(EAN): 9783540218340
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003 held in Budapest, Hungary in June/July 2003. The 15 revised full papers presented were carefully reviewed and selected for inclusion in the book.

Автор: Volker Gaede; Alexander Brodsky; Oliver G?nther; D
Название: Constraint Databases and Applications
ISBN: 3540625011 ISBN-13(EAN): 9783540625018
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text contains conference proceedings and selected papers. The papers are organized into sections on languages, expressiveness of spatial languages, systems, temporal applications, new applications, indexing, constraint programming, and optimization.

Автор: Domenico Salvagnin; Michele Lombardi
Название: Integration of AI and OR Techniques in Constraint Programming
ISBN: 3319597752 ISBN-13(EAN): 9783319597751
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

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

Описание: The contributors to this volume cover a broad range of topics including constraint programming languages, algorithms for constraint entailment, and the relationship of constraints to the areas of AI, operational research, problem-solving, database development and user interfaces.

Автор: Ceberio Martine, Kreinovich Vladik
Название: Constraint Programming and Decision Making: Theory and Applications
ISBN: 3319871536 ISBN-13(EAN): 9783319871530
Издательство: Springer
Рейтинг:
Цена: 13974.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 (W?rzburg, 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.