Renato Fernandes Hentschke Jagannathan Narasimhan David S. Kung Improving run times by pruned application of synthesis transforms. 38-43 2005 conf/sbcci/2005 SBCCI http://doi.acm.org/10.1145/1081081.1081098 db/conf/sbcci/sbcci2005.html#HentschkeNK05