| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 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 |
