| |
| 2007 | ||
|---|---|---|
| 3 | EE | Shujun Deng, Jinian Bian, Weimin Wu, Xiaoqing Yang, Yanni Zhao: EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure. DAC 2007: 588-593 |
| 2006 | ||
| 2 | EE | Shujun Deng, Weimin Wu, Jinian Bian: Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving. CSCWD 2006: 522-528 |
| 1 | EE | Shujun Deng, Weimin Wu, Jinian Bian: Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving. CSCWD (Selected Papers) 2006: 297-307 |
| 1 | Jinian Bian | [1] [2] [3] |
| 2 | Weimin Wu | [1] [2] [3] |
| 3 | Xiaoqing Yang | [3] |
| 4 | Yanni Zhao | [3] |