Power of Enumeration ― Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation

Shin-ichi MINATO  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2017/05/19
DOI: 10.1587/transinf.2016LOI0002
Full Text: PDF(1.6MB)