Least Upper Bounds on the Sizes of Symmetric Variable Order based OBDDs

  • Authors:

  • L. Litan;D. Möller

  • Affiliations:

  • -;-

  • Venue:
  • GLSVLSI '96 Proceedings of the 6th Great Lakes Symposium on VLSI
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper investigates the sizes of symmetric variable order based reduced binary decision diagrams for partially symmetric Boolean functions. It gives exact bounds for the maximum number of nonterminal vertices for the cases that the set of symmetric variables is treated as block which is located either at the front or at the back of the variable order.