doi dblp Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms, Second Edition Rina Dechter