Functional calculations using ordered partial multidecision diagrams

Heuristics to compute variable orderings for efficient manipulation of ordered binary decision diagrams

DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference

Functional approaches to generating orderings for efficient symbolic representations

DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference

Efficient variable ordering and partial representation algorithm

VLSID '95 Proceedings of the 8th International Conference on VLSI Design

Fast functional evaluation of candidate OBDD variable orderings

EURO-DAC '91 Proceedings of the conference on European design automation