Yinlei Yu
According to our database1,
Yinlei Yu
authored at least 10 papers
between 1998 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
1998
2000
2002
2004
2006
2008
2010
2012
2014
0
1
2
3
1
1
1
2
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Proceedings of the 2014 27th International Conference on VLSI Design, 2014
2008
Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008
2006
Proceedings of the Theory and Applications of Satisfiability Testing, 2006
2005
Proceedings of the 2005 Design, 2005
Validating the result of a Quantified Boolean Formula (QBF) solver: theory and practice.
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005
2004
Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems.
Proceedings of the Theory and Applications of Satisfiability Testing, 2004
Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems.
Proceedings of the SAT 2004, 2004
1999
Minimizing the Number of Programming Steps for Diagnosis of Interconnect Faults in FPGAs.
Proceedings of the 8th Asian Test Symposium (ATS '99), 1999
Proceedings of the 1999 Conference on Asia South Pacific Design Automation, 1999
1998
Proceedings of the 7th Asian Test Symposium (ATS '98), 2-4 December 1998, Singapore, 1998