Abstract: Ordered binary decision diagrams （OBDDs） are a data structure for efficient representation and manipulation of Boolean functions. The size of OBDDs is very sensitive to variable ordering. Based on the characterization of a variable with its entropy, a pro

Key words: OBDD, Variable ordering,Entropy of a variable