, and the minimization of OBDS is added as a third step. The set of decision nodes in D is represented as a BDT. This representation is defined as Γ BDS = {x0, …, xN−1}, where each pair (fn, θ n) maps ...