Giovanni Agosta, Francesco Bruschi, Gerardo Pelosi, Donatella Sciuto. A Transform-Parametric Approach to Boolean Matching. IEEE Trans. on CAD of Integrated Circuits and Systems, 28(6):805-817, 2009. [doi]
@article{AgostaBPS09,
title = {A Transform-Parametric Approach to Boolean Matching},
author = {Giovanni Agosta and Francesco Bruschi and Gerardo Pelosi and Donatella Sciuto},
year = {2009},
doi = {10.1109/TCAD.2009.2016547},
url = {http://dx.doi.org/10.1109/TCAD.2009.2016547},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/AgostaBPS09},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {28},
number = {6},
pages = {805-817},
}