Behle, M. (2008). On Threshold BDDs and the Optimal Variable Ordering Problem. Journal of Combinatorial Optimization, 16(2), 107-118. doi:10.1007/s10878-007-9123-z.