Title
Power of Enumeration - BDD/ZDD-Based Techniques for Discrete Structure Manipulation.
Year
Venue
Field
2016
ISMVL
Boolean function,Programming language,Computer science,Binary decision diagram,Theoretical computer science,Electronic engineering,Graph enumeration,Algebraic operation,Graph theory,Constraint satisfaction,Discrete mathematics,Data structure,Mathematical logic
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
Shin-ichi Minato172584.72