Boolean Technology Mapping Based on Logic Decomposition. - Maurizio Damiani; Andrei Y. Selchenko (SBCCI, 2003)