Ronnie L. Wright Michael A. Shanblatt Reducing BDD Size by Exploiting Structural Connectivity. 132-135 1999 conf/glvlsi/1999 Great Lakes Symposium on VLSI http://doi.ieeecomputersociety.org/10.1109/GLSV.1999.757394 db/conf/glvlsi/glvlsi1999.html#WrightS99