A Unifying Theoretical Background for Some Bdd-based Data Structures
Formal Methods in System Design
The nonapproximability of OBDD minimization
Information and Computation
The complexity of minimizing and learning OBDDs and FBDDs
Discrete Applied Mathematics
Sample Method for Minimization of OBDDs
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Binary Decision Diagrams and neural networks
The Journal of Supercomputing
The computational complexity of equivalence and isomorphism problems
The computational complexity of equivalence and isomorphism problems
Hi-index | 0.00 |