Keyword : discrete structure


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: 
BDDZDDdiscrete structuregraph algorithm
 Summary | Full Text:PDF

Techniques of BDD/ZDD: Brief History and Recent Activity
Shin-ichi MINATO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/07/01
Vol. E96-D  No. 7 ; pp. 1419-1429
Type of Manuscript:  INVITED SURVEY PAPER
Category: 
Keyword: 
BDDZDDdecision diagramdiscrete structurealgorithmdata structure
 Summary | Full Text:PDF