Wolfgang Günther, Rolf Drechsler. Minimization of BDDs using linear transformations based on evolutionary techniques. In International Symposium on Circuits and Systems (ISCAS 1999), May 30 - June 2, 1999, Orlando, Florida, USA. pages 387-390, IEEE, 1999. [doi]