| |
| 2008 | ||
|---|---|---|
| 3 | EE | Xiuqin Wang, Hao Wang, Guangsheng Ma: Hybrid SAT Solver Considering Circuit Observability. ICYCS 2008: 65-70 |
| 2 | EE | Xiuqin Wang, Guangsheng Ma, Hao Wang: A Novel Method for All Solutions SAT Problem. SNPD 2008: 41-45 |
| 2006 | ||
| 1 | EE | Guang-Sheng Ma, Xiuqin Wang, Hao Wang: Web-Based Cooperative Design for SoC and Improved Architecture Exploration Algorithm. APWeb Workshops 2006: 1021-1028 |
| 1 | Guang-Sheng Ma | [1] |
| 2 | Guangsheng Ma | [2] [3] |
| 3 | Hao Wang | [1] [2] [3] |