Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli. Biconditional Binary Decision Diagrams: A Novel Canonical Logic Representation Form. IEEE J. Emerg. Sel. Topics Circuits Syst., 4(4):487-500, 2014. [doi]
@article{AmaruGM14-1,
title = {Biconditional Binary Decision Diagrams: A Novel Canonical Logic Representation Form},
author = {Luca Gaetano Amarù and Pierre-Emmanuel Gaillardon and Giovanni De Micheli},
year = {2014},
doi = {10.1109/JETCAS.2014.2361058},
url = {http://dx.doi.org/10.1109/JETCAS.2014.2361058},
researchr = {https://researchr.org/publication/AmaruGM14-1},
cites = {0},
citedby = {0},
journal = {IEEE J. Emerg. Sel. Topics Circuits Syst.},
volume = {4},
number = {4},
pages = {487-500},
}