Author of the publication

EVBDD-based algorithms for integer linear programming, spectral transformation, and function decomposition.

, , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 13 (8): 959-975 (1994)

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

Statistical waveform and current source based standard cell models for accurate timing analysis., and . DAC, page 227-230. ACM, (2008)Throughput optimal task allocation under thermal constraints for multi-core processors., , , and . DAC, page 776-781. ACM, (2009)Statistical library characterization using arbitrary polynomial chaos., , and . LASCAS, page 1-4. IEEE, (2017)A fast, energy efficient, field programmable threshold-logic array., , and . FPT, page 300-305. IEEE, (2014)Formal Verification Using Edge-Valued Binary Decision Diagrams., , and . IEEE Trans. Computers, 45 (2): 247-255 (1996)Fast and robust differential flipflops and their extension to multi-input threshold gates., , , and . ISCAS, page 822-825. IEEE, (2015)Efficient Symbolic Algorithms for Computing the Minimum and Bounded Leakage States., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (12): 2820-2832 (2006)A Unified Approach for Full Chip Statistical Timing and Leakage Analysis of Nanoscale Circuits Considering Intradie Process Variations., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 27 (10): 1812-1825 (2008)Identification of Threshold Functions and Synthesis of Threshold Networks., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 30 (5): 665-677 (2011)Analysis of signal probability in logic circuits using stochastic models., and . IEEE Trans. Very Large Scale Integr. Syst., 1 (3): 365-379 (1993)