The Power of Enumeration–BDD/ZDD-Based Algorithms for Tackling Combinatorial Explosion
Book chapter (January 2015)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Book chapter (January 2015)
Article (November 2014)
Article in IEICE Transactions on Information and Systems (July 2013)