Lei Fang

Affiliations:
  • Virginia Tech, Blacksburg, VA, USA (PhD 2008)


According to our database1, Lei Fang authored at least 7 papers between 2007 and 2008.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Exploring Constraint Satisfiability Techniques in Formal Verification.
PhD thesis, 2008

Boosting SAT Solver Performance via a New Hybrid Approach.
J. Satisf. Boolean Model. Comput., 2008

Bilateral Testing of Nano-scale Fault-Tolerant Circuits.
J. Electron. Test., 2008

Guided test generation for isolation and detection of embedded trojans in ics.
Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

A Fast Approximation Algorithm for MIN-ONE SAT.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Efficient power droop aware delay fault testing.
Proceedings of the 2007 IEEE International Test Conference, 2007

A new hybrid solution to boost SAT solver performance.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007


  Loading...