Yinlei Yu

Publication Activity (10 Years)

Years Active: 1998-2014
Publications (10 Years): 0

Top Topics

Boolean Satisfiability

Prime Implicates

Unit Propagation

Top Venues

Publications

Yinlei Yu, Pramod Subramanyan, Nestan Tsiskaridze, Sharad Malik
All-SAT Using Minimal Blocking Clauses. VLSI Design (2014)
Yinlei Yu, Cameron Brien, Sharad Malik
Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers. VLSI Design (2008)
Yinlei Yu, Sharad Malik
Lemma Learning in SMT on Linear Constraints. SAT (2006)
Yinlei Yu, Sharad Malik
Validating the result of a Quantified Boolean Formula (QBF) solver: theory and practice. ASP-DAC (2005)
Zhaohui Fu, Yinlei Yu, Sharad Malik
Considering Circuit Observability Don't Cares in CNF Satisfiability. DATE (2005)
Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik
Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems. SAT (2004)
Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik
Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems. SAT (Selected Papers (2004)
Yinlei Yu, Jian Xu, Wei-Kang Huang, Fabrizio Lombardi
Diagnosing Single Faults for Interconnects in SRAM Based FPGAs. ASP-DAC (1999)
Yinlei Yu, Jian Xu, Wei-Kang Huang, Fabrizio Lombardi
Minimizing the Number of Programming Steps for Diagnosis of Interconnect Faults in FPGAs. Asian Test Symposium (1999)
Yinlei Yu, Jian Xu, Wei-Kang Huang, Fabrizio Lombardi
A Diagnosis Method for Interconnects in SRAM Based FPGAs. Asian Test Symposium (1998)