On random orderings of variables for parity

  • OBDDsPetr Savick
  • Published 1998
Ordered binary decision diagrams (OBDDs) are a model for representing Boolean functions. There is also a more powerful variant called parity OBDDs. The size of the representation of a given function depends in both these models on an ordering of the variables. It is known that there are functions such that almost all orderings of its variables yield an OBDD… CONTINUE READING