Giovanni Agosta, Francesco Bruschi, Gerardo Pelosi, Donatella Sciuto
A Unified Approach to Canonical Form-based Boolean Matching
DAC, 2007.
@inproceedings{DAC-2007-AgostaBPS,
author = "Giovanni Agosta and Francesco Bruschi and Gerardo Pelosi and Donatella Sciuto",
booktitle = "{Proceedings of the 44th Design Automation Conference}",
doi = "10.1145/1278480.1278689",
pages = "841--846",
publisher = "{IEEE}",
title = "{A Unified Approach to Canonical Form-based Boolean Matching}",
year = 2007,
}