On the Expressive Power of OKFDDs
Formal Methods in System Design
On Variable Ordering and Decomposition Type Choice in OKFDDs
IEEE Transactions on Computers
A genetic algorithm for decomposition type choice in OKFDDs
INBS '95 Proceedings of the First International Symposium on Intelligence in Neural and Biological Systems (INBS'95)
RMDDS: Reed-muller decision diagram synthesis of reversible logic circuits
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Hi-index | 0.00 |