Author of the publication

Improved Variable Ordering for ROBDDs.

, , and . ICADL, volume 2911 of Lecture Notes in Computer Science, page 544-547. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Improved Variable Ordering for ROBDDs., , and . ICADL, volume 2911 of Lecture Notes in Computer Science, page 544-547. Springer, (2003)Variable Order Verification Use of Logic Representation., , and . ICADL, volume 2911 of Lecture Notes in Computer Science, page 689. Springer, (2003)Area and Energy Efficient Radiation Hardened Gain Cell Memory., , , and . CCWC, page 269-274. IEEE, (2020)Design of Energy Efficient Multiplier with Approximate Computing on Scalable Compressor for Error-Resilient Image Contrast Enhancement., and . Wirel. Pers. Commun., 127 (4): 2997-3013 (2022)