dblp.uni-trier.dewww.uni-trier.de

Yinlei Yu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
9EEYinlei Yu, Cameron Brien, Sharad Malik: Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers. VLSI Design 2008: 461-468
2006
8EEYinlei Yu, Sharad Malik: Lemma Learning in SMT on Linear Constraints. SAT 2006: 142-155
2005
7EEYinlei Yu, Sharad Malik: Validating the result of a Quantified Boolean Formula (QBF) solver: theory and practice. ASP-DAC 2005: 1047-1051
6EEZhaohui Fu, Yinlei Yu, Sharad Malik: Considering Circuit Observability Don't Cares in CNF Satisfiability. DATE 2005: 1108-1113
2004
5EEDaijue 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
4EEDaijue 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: 292-305
1999
3EEYinlei Yu, Jian Xu, Wei-Kang Huang, Fabrizio Lombardi: Diagnosing Single Faults for Interconnects in SRAM Based FPGAs. ASP-DAC 1999: 283-286
2EEYinlei 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: 357-362
1998
1EEYinlei Yu, Jian Xu, Wei-Kang Huang, Fabrizio Lombardi: A Diagnosis Method for Interconnects in SRAM Based FPGAs. Asian Test Symposium 1998: 278-282

Coauthor Index

1Cameron Brien [9]
2Zhaohui Fu [6]
3Wei-Kang Huang [1] [2] [3]
4Fabrizio Lombardi [1] [2] [3]
5Sharad Malik [4] [5] [6] [7] [8] [9]
6Darsh Ranjan [4] [5]
7Daijue Tang [4] [5]
8Jian Xu [1] [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)