| 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 |
