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