Boolean Representation

A. Shen, S. Devadas and A. Ghosh, "Probabilistic Manipulation of Boolean Functions Using Free Boolean Diagrams", IEEE Transactions on Computer-Aided Design, pp. 87-95, January 1995.