Yasuhiko Takenaga

Computational Complexity of Manipulating Binary Decision Diagrams

Yasuhiko Takenaga, Shuzo Yajima, S. Yajima, 1994 .

10th workshop on Advances in Parallel and Distributed Computational Models - APDCM'08

Arnold L. Rosenberg, Oscar H. Ibarra, Albert Y. Zomaya, 2008, IPDPS.

Computational power of a memory-based parallel computation model with content addressable memory (abstract)

Yasuhiko Takenaga, Shuzo Yajima, Naofumi Takagi, 1992 .

NP-completeness of Minimum Binary Decision Diagram Identification Problems

Yasuhiko Takenaga, Shuzo Yajima, 1993 .

Comparisons between the Expressive Power of Logic Formulae and Ordered Binary Decision Diagrams

Yasuhiko Takenaga, Shuzo Yajima, Hironori Bouno, 1997 .

Recognizing Ordered Tree-Shellable Boolean Functions Based on OBDDs (Foundations of Computer Science)

Yasuhiko Takenaga, 2000 .