| 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 |
