User menu

Improving BDDs manipulation through incremental reduction and enhanced heuristics

Bibliographic reference Calazans, N. ; Jacobi, R. ; Zhang, Q. ; Trullemans, Charles. Improving BDDs manipulation through incremental reduction and enhanced heuristics.Proceedings of the IEEE 1991 Custom Integrated Circuits Conference (Cat. No.91CH2994-2) (San Diego, CA, USA, 12-15 May 1991). In: Proceedings of the IEEE 1991 Custom Integrated Circuits Conference(Cat. No.91CH2994-2), IEEE1991, p. 11.3/1-11.3/5
Permanent URL http://hdl.handle.net/2078.1/68295