|
| Shin-ichi MINATO
| |
|
| |
|
| |
|
|
Power of Enumeration — Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation
Shin-ichi MINATO | Publication:
Publication Date: 2017/08/01
Vol. E100-D
No. 8
pp. 1556-1562
Type of Manuscript:
INVITED PAPER (Special Section on Multiple-Valued Logic and VLSI Computing)
Category:
Keyword:
BDD, ZDD, discrete structure, graph algorithm, | | | Summary | Full Text:PDF | |
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
Minimum-Width Method of Variable Ordering for Binary Decision Diagrams
Shin-ichi MINATO | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/03/25
Vol. E75-A
No. 3
pp. 392-399
Type of Manuscript:
Special Section PAPER (Special Section on the 4th Karuizawa Workshop on Circuits and Systems)
Category:
Keyword:
binary decision diagrams, boolean function, logic synthesis, variable ordering, | | | Summary | Full Text:PDF | |
|
|
: An Arithmetic Boolean Expression Manipulator Using BDDs
(Boolean-to-integer) function