Yinlei Yu

According to our database, Yinlei Yu authored at least 10 papers between 1998 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

All-SAT Using Minimal Blocking Clauses.

Yinlei Yu, Pramod Subramanyan, Nestan Tsiskaridze, Sharad Malik

Proceedings of the 2014 27th International Conference on VLSI Design, 2014

2008

Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers.

Yinlei Yu, Cameron Brien, Sharad Malik

Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008

2006

Lemma Learning in SMT on Linear Constraints.

Yinlei Yu, Sharad Malik

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

2005

Considering Circuit Observability Don't Cares in CNF Satisfiability.

Zhaohui Fu, Yinlei Yu, Sharad Malik

Proceedings of the 2005 Design, 2005

Validating the result of a Quantified Boolean Formula (QBF) solver: theory and practice.

Yinlei Yu, Sharad Malik

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2004

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

Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik

Proceedings of the Theory and Applications of Satisfiability Testing, 2004

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

Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik

Proceedings of the SAT 2004, 2004

1999

Minimizing the Number of Programming Steps for Diagnosis of Interconnect Faults in FPGAs.

Yinlei Yu, Jian Xu, Wei-Kang Huang, Fabrizio Lombardi

Proceedings of the 8th Asian Test Symposium (ATS '99), 1999

Diagnosing Single Faults for Interconnects in SRAM Based FPGAs.

Yinlei Yu, Jian Xu, Wei-Kang Huang, Fabrizio Lombardi

Proceedings of the 1999 Conference on Asia South Pacific Design Automation, 1999

1998

A Diagnosis Method for Interconnects in SRAM Based FPGAs.

Yinlei Yu, Jian Xu, Wei-Kang Huang, Fabrizio Lombardi

Proceedings of the 7th Asian Test Symposium (ATS '98), 2-4 December 1998, Singapore, 1998