Sciweavers

TODAES
1998

Auxiliary variables for BDD-based representation and manipulation of Boolean functions

14 years 4 days ago
Auxiliary variables for BDD-based representation and manipulation of Boolean functions
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 1998
Where TODAES
Authors Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Comments (0)