This book is addressed to researchers in the artificial intelligence domain who are interested in constraint satisfaction techniques for agent reasoning. Moreover, as these methods are important for many applications such as planning, scheduling, diagnosis and resource allocation, researchers and application engineers in these domains will also benefit from applying the techniques described in this book.