Concepedia

Yinlei Yu

YY

6

Publications

148

Citations

6

H-Index

2002

Active since

Affiliations

Princeton University(Current)

Fudan University

Yinlei Yu is an author at Princeton University specializing in engineering, computer engineering, and formal methods.

Top concepts

EngineeringComputer EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationSatisfiabilityAutomated ReasoningProgram AnalysisSoftware Testing

Publications per year

2002–2014

6

Publications

6

All-SAT Using Minimal Blocking Clauses

Yinlei Yu, Pramod Subramanyan, Nestan Tsiskaridze et al. · 2014 · 37 citations

Constraint Solving, Engineering, Automated Reasoning +15

Validating the result of a Quantified Boolean Formula (QBF) solver

Yinlei Yu, Sharad Malik · 2005 · 31 citations

Engineering, Boolean Function, Qbf Solver +18

A diagnosis method for interconnects in SRAM based FPGAs

Yinlei Yu, Jian Xu, Wei Huang et al. · 2002 · 31 citations

Electrical Engineering, Reliability Engineering, Engineering +14

Considering Circuit Observability Don't Cares in CNF Satisfiability

Zhaohui Fu, Yinlei Yu, Sharad Malik · Design, Automation, and Test in Europe · 2005 · 28 citations

Circuit Complexity, Engineering, Automated Reasoning +12

Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems.

Daijue Tang, Yinlei Yu, Darsh Ranjan et al. · 2004 · 11 citations

Rows per page

1–5 of 6