Skip to content
cs-conference-ranking.org

Yinlei Yu

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

4

Active years

1999–2014

Best venue rank

A

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2014VLSIDAll-SAT Using Minimal Blocking Clauses.Yinlei Yu, Pramod Subramanyan, Nestan Tsiskaridze, Sharad Malik
2008VLSIDExploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers.Yinlei Yu, Cameron Brien, Sharad Malik
2006SATLemma Learning in SMT on Linear Constraints.Yinlei Yu, Sharad Malik
2005ASPDACValidating the result of a Quantified Boolean Formula (QBF) solver: theory and practice.Yinlei Yu, Sharad Malik
2005DATEConsidering Circuit Observability Don't Cares in CNF Satisfiability.Zhaohui Fu, Yinlei Yu, Sharad Malik
2004SATAnalysis 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
2004SATAnalysis 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
1999ASPDACDiagnosing Single Faults for Interconnects in SRAM Based FPGAs.Yinlei Yu, Jian Xu, Wei-Kang Huang, Fabrizio Lombardi