[IEEE 2014 32nd IEEE International Conference on Computer Design (ICCD) - Seoul, South Korea (2014.10.19-2014.10.22)] 2014 IEEE 32nd International Conference on Computer Design (ICCD) - Optimal variable ordering in ZBDD-based path representations for directed acyclic graphs
Neophytou, Stelios N., Michael, Maria K.Year:
2014
Language:
english
DOI:
10.1109/iccd.2014.6974724
File:
PDF, 709 KB
english, 2014