1 “...) as a set of local constraints. The book is organized in two parts. Part I gives an overview...”