Goichi Ootomo

Learn More
Ordered binary decision diagrams (OBDDS) are efficient representations of Boolean functions and have been widely used in various computer-aided design tools. Since the size of an OBDD depends on variable ordering, it is important to find a good variable order for the efficient manipulation of OBDDS. In particular, it is important to find the same good(More)
  • 1