![[IEEE Comput. Soc. Press 4th Great Lakes Symposium on VLSI - Notre Dame, IN, USA (4-5 March 1994)] Proceedings of 4th Great Lakes Symposium on VLSI - A new scheme to compute variable orders for binary decision diagrams]()
[IEEE Comput. Soc. Press 4th Great Lakes Symposium on VLSI - Notre Dame, IN, USA (4-5 March 1994)] Proceedings of 4th Great Lakes Symposium on VLSI - A new scheme to compute variable orders for binary decision diagramsJain, J.; Bitner, J.; Moundanos, D.; Abraham, J.A.; Fussell, D.S. · 1994