...
机译:Transformation of BDD into Heterogeneous MDD with Minimal Cost
Faculty of Electronic Engineering, University of Nis, Aieksandra Medvedeva 14, 18000 Nis, Serbia;
binary decision diagrams; heterogeneous decision diagrams; boolean functions; multi-valued functions;