Graphical models have become a central paradigm for knowledge representation and reasoning in both artificial intelligence and computer science in general. This book provides comprehensive coverage of the primary exact algorithms for reasoning with such models. The main feature exploited by the algorithms is the model's graph.