dblp.uni-trier.dewww.uni-trier.de

Heng Chu Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
7EEJie 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
5EEHeng 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
2EEHeng 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

Coauthor Index

1Geoffrey D. Alexander [1]
2Shie-Jue Lee [1]
3Jie Li [7]
4Jing Peng [7]
5David A. Plaisted [1] [2] [3] [4] [5] [6]
6Weile Zhu [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)