OBDD variable ordering by interleaving compacted clusters

Dept. of Electr. Eng., National Taiwan Univ.Yeh, Fu-MinFu-MinYehLin, Chen-ShangChen-ShangLin2007-04-192018-07-062007-04-192018-07-061995-09N/Ahttp://ntur.lib.ntu.edu.tw//handle/246246/2007041910042590application/pdf251299 bytesapplication/pdfen-USOBDD variable ordering by interleaving compacted clustersjournal articlehttp://ntur.lib.ntu.edu.tw/bitstream/246246/2007041910042590/1/00469213.pdf