Reasoning with probabilistic and deterministic graphical models exact algorithms - Dechter, Rina 1950- (2013)