Exact Minimization of Binary Decision Diagrams Using Implicit Techniques
IEEE Transactions on Computers
Finding small OBDDs for incompletely specified truth tables is hard
COCOON'06 Proceedings of the 12th annual international conference on Computing and Combinatorics
Hi-index | 0.00 |