Advanced BDD Optimization - Ebendt, Rudiger; Fey, Gorschwin; Drechsler, Rolf.; SpringerLink (Online service) (Boston, MA : Springer, 2005)
Keywords: Decision making -- Mathematical models; Decision Trees