Markus Behle On threshold BDDs and the optimal variable ordering problem. 107-118 2008 16 J. Comb. Optim. 2 http://dx.doi.org/10.1007/s10878-007-9123-z db/journals/jco/jco16.html#Behle08