Yinlei Yu

发表

Sharad Malik, Pramod Subramanyan, Yinlei Yu, 2014, 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems.

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

Sharad Malik, Yinlei Yu, Daijue Tang, 2004, SAT.

Diagnosing single faults for interconnects in SRAM based FPGAs

Fabrizio Lombardi, Jian Xu, Yinlei Yu, 1999, Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198).

Lemma Learning in SMT on Linear Constraints

Sharad Malik, Yinlei Yu, S. Malik, 2006, SAT.

Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers

Sharad Malik, Yinlei Yu, Cameron Brien, 2008, 21st International Conference on VLSI Design (VLSID 2008).

A diagnosis method for interconnects in SRAM based FPGAs

Fabrizio Lombardi, Jian Xu, Yinlei Yu, 1998, Proceedings Seventh Asian Test Symposium (ATS'98) (Cat. No.98TB100259).

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

Sharad Malik, Yinlei Yu, Daijue Tang, 2004, SAT (Selected Papers.

Validating the result of a quantified Boolean formula (QBF) solver: theory and practice

Sharad Malik, Yinlei Yu, S. Malik, 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..

Considering circuit observability don't cares in CNF satisfiability

Sharad Malik, Yinlei Yu, Zhaohui Fu, 2005, Design, Automation and Test in Europe.

Minimizing the number of programming steps for diagnosis of interconnect faults in FPGAs

Fabrizio Lombardi, Jian Xu, Yinlei Yu, 1999, Proceedings Eighth Asian Test Symposium (ATS'99).