Books in the Artificial Intelligence: Foundations, Theory, and Algorithms series

The authors present chapters on the use of decision diagrams for combinatorial optimization and constraint programming, with attention to general-purpose solution methods as well as problem-specific techniques.The book will be useful for researchers and practitioners in discrete optimization and constraint programming.

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.

The book discusses the main issues of coordination in complex sociotechnical systems, covering distributed, self-organising, and pervasive systems.