On the Expressive Power of OKFDDs
Formal Methods in System Design
On Variable Ordering and Decomposition Type Choice in OKFDDs
IEEE Transactions on Computers
The Theory of Zero-Suppressed BDDs and the Number of Knight‘s Tours
Formal Methods in System Design
CL '00 Proceedings of the First International Conference on Computational Logic
Decision Diagrams in Synthesis - Algorithms, Applications and Extensions
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Efficient Minimization and Manipulation of Linearly Transformed Binary Decision Diagrams
IEEE Transactions on Computers
TED+: a data structure for microprocessor verification
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
| Hi-index | 0.01 |