A new hybrid solution to boost SAT solver performance. - Lei Fang 002; Michael S. Hsiao (DATE, 2007)

Efficient power droop aware delay fault testing. - Bin Li; Lei Fang 002; Michael S. Hsiao (ITC, 2007)

A Fast Approximation Algorithm for MIN-ONE SAT. - Lei Fang 002; Michael S. Hsiao (DATE, 2008)

Guided test generation for isolation and detection of embedded trojans in ics. - Mainak Banga; Maheshwar Chandrasekar; Lei Fang 002; Michael S. Hsiao (ACM Great Lakes Symposium on VLSI, 2008)

Bilateral Testing of Nano-scale Fault-Tolerant Circuits. - Lei Fang 002; Michael S. Hsiao (J. Electron. Test., 2008)

Boosting SAT Solver Performance via a New Hybrid Approach. - Lei Fang 002; Michael S. Hsiao (J. Satisf. Boolean Model. Comput., 2008)

Exploring Constraint Satisfiability Techniques in Formal Verification. - Lei Fang 002 (2008)