Markus Behle. On Threshold BDDs and the Optimal Variable Ordering Problem. In Andreas W. M. Dress, Yinfeng Xu, Binhai Zhu, editors, Combinatorial Optimization and Applications, First International Conference, COCOA 2007, Xi an, China, August 14-16, 2007, Proceedings. Volume 4616 of Lecture Notes in Computer Science, pages 124-135, Springer, 2007. [doi]