Koichi Yasuoka

Learn More
P This paper presents an e cient method for manipulating very large Shared inary-Deciston Diagrams (SBDD'S) which am too large to be stored within main memory. In contrast that the conventional depth-first aigorithm causes random access of memory,, the proposed method is intended to cause sequential access of memory. The main idea o our method is level-i(More)
  • 1