User menu

Incremental reduction of binary decision diagrams

Bibliographic reference Jacobi, R. ; Calazans, N. ; Trullemans, Charles. Incremental reduction of binary decision diagrams.1991 IEEE International Sympoisum on Circuits and Systems (Cat. No.91CH3006-4) (, Singapore, 11-14 June 1991). In: 1991 IEEE International Sympoisum on Circuits and Systems (Cat.No.91CH3006-4), IEEE1991, p.Vol. 5, p. 3174-7
Permanent URL http://hdl.handle.net/2078.1/68285