A Diagnosis Method for Interconnects in SRAM Based FPGAs. - Yinlei Yu; Jian Xu; Wei-Kang Huang; Fabrizio Lombardi (Asian Test Symposium, 1998)

Diagnosing Single Faults for Interconnects in SRAM Based FPGAs. - Yinlei Yu; Jian Xu; Wei-Kang Huang; Fabrizio Lombardi (ASP-DAC, 1999)

Minimizing the Number of Programming Steps for Diagnosis of Interconnect Faults in FPGAs. - Yinlei Yu; Jian Xu; Wei-Kang Huang; Fabrizio Lombardi (Asian Test Symposium, 1999)

Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems. - Daijue Tang; Yinlei Yu; Darsh Ranjan; Sharad Malik (SAT, 2004)

Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems. - Daijue Tang; Yinlei Yu; Darsh Ranjan; Sharad Malik (SAT (Selected Papers, 2004)

Validating the result of a Quantified Boolean Formula (QBF) solver: theory and practice. - Yinlei Yu; Sharad Malik (ASP-DAC, 2005)

Considering Circuit Observability Don't Cares in CNF Satisfiability. - Zhaohui Fu; Yinlei Yu; Sharad Malik (DATE, 2005)

Lemma Learning in SMT on Linear Constraints. - Yinlei Yu; Sharad Malik (SAT, 2006)

Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers. - Yinlei Yu; Cameron Brien; Sharad Malik (VLSI Design, 2008)

All-SAT Using Minimal Blocking Clauses. - Yinlei Yu; Pramod Subramanyan; Nestan Tsiskaridze; Sharad Malik (VLSID, 2014)