There are Boolean functions such that almost all orderings of its variables yield an OBDD of polynomial size, but there are also some exceptional orderings, for which the size is exponential. We prove that for parity OBDDs the size for a random ordering and the size for the worst ordering ...
more >>>