![](/img/cover-not-exists.png)
Auxiliary variables for BDD-based representation and manipulation of Boolean functions
Cabodi, Gianpiero, Camurati, Paolo, Quer, StefanoVolume:
3
Language:
english
Journal:
ACM Transactions on Design Automation of Electronic Systems
DOI:
10.1145/293625.293626
Date:
July, 1998
File:
PDF, 410 KB
english, 1998