Sathiamoorthy Subbarayan Lucas Bordeaux Youssef Hamadi Knowledge Compilation Properties of Tree-of-BDDs. 502-507 2007 conf/aaai/2007 AAAI db/conf/aaai/aaai2007.html#SubbarayanBH07