| Yasuhiko TAKENAGA
|
|
|
FOREWORD Tetsuro NISHINO Yasuhiko TAKENAGA | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/01/01
Vol. E88-D
No. 1
pp. 10-11
Type of Manuscript:
FOREWORD Category: Keyword:
| | Summary | Full Text:PDF(69.8KB) | |
|
|
|
Computational Power of Nondeterministic Ordered Binary Decision Diagrams and Their Subclasses Kazuyoshi TAKAGI Koyo NITTA Hironori BOUNO Yasuhiko TAKENAGA Shuzo YAJIMA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/04/25
Vol. E80-A
No. 4
pp. 663-669
Type of Manuscript:
Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: computational complexity, Boolean function, ordered binary decision diagram, satisfiability, combinational circuit, cutwidth, sum-of-product form, zero-suppressed binary decision diagrams (BDD), ternary decision diagram, | | Summary | Full Text:PDF(675.4KB) | |
|
|
|
|
|
|
|
|