Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Lukas Renner
Salsabeel Al-Theiabat
Hao Mao
Peter Malec
Fernanda Maldonado-Naude
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
YINLEI YU
Author Info
Open Visualization
Name
Affiliation
Papers
YINLEI YU
Princeton University Princeton, NJ
8
Collaborators
Citations
PageRank
11
95
5.96
Referers
Referees
References
183
164
101
Search Limit
100
183
Publications (8 rows)
Collaborators (11 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
All-SAT Using Minimal Blocking Clauses
10
0.58
2014
Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers
0
0.34
2008
Lemma learning in SMT on linear constraints
7
0.58
2006
Considering Circuit Observability Don't Cares in CNF Satisfiability
19
0.94
2005
Validating the result of a Quantified Boolean Formula (QBF) solver: theory and practice
25
1.19
2005
Analysis of search based algorithms for satisfiability of propositional and quantified boolean formulas arising from circuit state space diameter problems
13
0.75
2004
Minimizing the Number of Programming Steps for Diagnosis of Interconnect Faults in FPGAs
5
0.64
1999
Diagnosis method for interconnects in SRAM based FPGAs
16
0.95
1998
1