dblp.uni-trier.dewww.uni-trier.de

Shujun Deng

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
3EEShujun 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
2EEShujun Deng, Weimin Wu, Jinian Bian: Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving. CSCWD 2006: 522-528
1EEShujun 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

Coauthor Index

1Jinian Bian [1] [2] [3]
2Weimin Wu [1] [2] [3]
3Xiaoqing Yang [3]
4Yanni Zhao [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)