|
| Keyword : discrete structure
|
Power of Enumeration — Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation
Shin-ichi MINATO | Publication: IEICE TRANSACTIONS on Information and Systems
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 | |
| |
|
|