| 2005 | ||
|---|---|---|
| 7 | EE | Jie Li, Jing Peng, Heng Chu, Weile Zhu: Automatic Digital Modulation Recognition Using Support Vector Machines and Genetic Algorithm. ISNN (2) 2005: 568-573 |
| 1997 | ||
| 6 | Heng Chu, David A. Plaisted: CLIN-S - A Semantically Guided First-Order Theorem Prover. J. Autom. Reasoning 18(2): 183-188 (1997) | |
| 1994 | ||
| 5 | Heng Chu, David A. Plaisted: Semantically Guided First-Order Theorem Proving using Hyper-Linking. CADE 1994: 192-206 | |
| 4 | Heng Chu, David A. Plaisted: Model Finding in Semantically Guided Instance-Based Theorem Proving. Fundam. Inform. 21(3): 221-235 (1994) | |
| 1993 | ||
| 3 | Heng Chu, David A. Plaisted: Rough Resolution: A Refinement of Resolution to Remove Large Literals. AAAI 1993: 15-20 | |
| 2 | Heng Chu, David A. Plaisted: Model Finding Strategies in Semantically Guided Instance-based Theorem Proving. ISMIS 1993: 19-28 | |
| 1992 | ||
| 1 | David A. Plaisted, Geoffrey D. Alexander, Heng Chu, Shie-Jue Lee: Conditional Term Rewriting and First-Order Theorem Proving. CTRS 1992: 257-271 | |
| 1 | Geoffrey D. Alexander | [1] |
| 2 | Shie-Jue Lee | [1] |
| 3 | Jie Li | [7] |
| 4 | Jing Peng | [7] |
| 5 | David A. Plaisted | [1] [2] [3] [4] [5] [6] |
| 6 | Weile Zhu | [7] |
Colors in the list of coauthors