Laura Heinrich-Litan, Paul Molitor, Dirk Möller. Least Upper Bounds on the Sizes of Symmetric Variable Order based OBDDs. In 6th Great Lakes Symposium on VLSI (GLS-VLSI 96), March 22-23, 1996, Ames, IA, USA. pages 126, IEEE Computer Society, 1996. [doi]
Abstract is missing.