Advanced BDD optimization - Ebendt, Rudiger; Fey, Gorschwin (Dordrecht Springer, 2005)
Keywords: Decision making -- Mathematical models; Decision trees; Logic design