Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
An efficient manipulation package for Biconditional Binary Decision Diagrams
DATE, 2014.
@inproceedings{DATE-2014-AmaruGM,
author = "Luca Gaetano Amarù and Pierre-Emmanuel Gaillardon and Giovanni De Micheli",
booktitle = "{Proceedings of the 18th Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.7873/DATE.2014.309",
pages = "1--6",
publisher = "{IEEE}",
title = "{An efficient manipulation package for Biconditional Binary Decision Diagrams}",
year = 2014,
}