When multiple agents are in a shared environment, there usually exist constraints among
the possible actions of these agents. A distributed constraint satisfaction problem (distributed …

Publisher Summary Constraint programming is a powerful paradigm for solving
combinatorial search problems that draws on a wide range of techniques from artificial …

Multiagent systems combine multiple autonomous entities, each having diverging interests
or different information. This overview of the field offers a computer science perspective, but …

Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

This book provides a comprehensive and much needed introduction to the field by one of its
foremost experts. It is beautifully written and presents a unifying framework capturing a wide …

Cryptography ensures the confidentiality and authenticity of information but often relies on
unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

We develop a formalism called a distributed constraint satisfaction problem (distributed
CSP) and algorithms for solving distributed CSPs. A distributed CSP is a constraint …

When multiple agents are in a shared environment, there usually exist con straints among
the possible actions of these agents. A distributed constraint satisfaction problem (distributed …

Constraint programming offers facilities for problem modelling, constraint propagation and
search. This paper discusses the resulting benefits for practical applications which exploit …