| 公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
|---|---|---|---|---|---|---|
| 2013 | A Unified Framework for DPLL(T) + Certificates | Min Zhou; Fei He; Bow-Yaw Wang; Ming Gu; Jiaguang Sun | Journal of Applied Mathematics 2013:964682 (13pp) | |||
| 2010 | On Array Theory of Bounded Elements | Min Zhou; Fei He; Bow-Yaw Wang; Ming Gu |
