
Search the dblp DataBase
Heng Chu:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Heng Chu, David A. Plaisted
Rough Resolution: A Refinement of Resolution to Remove Large Literals. [Citation Graph (0, 0)][DBLP] AAAI, 1993, pp:1520 [Conf]
 Heng Chu, David A. Plaisted
Semantically Guided FirstOrder Theorem Proving using HyperLinking. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:192206 [Conf]
 David A. Plaisted, Geoffrey D. Alexander, Heng Chu, ShieJue Lee
Conditional Term Rewriting and FirstOrder Theorem Proving. [Citation Graph (0, 0)][DBLP] CTRS, 1992, pp:257271 [Conf]
 Heng Chu, David A. Plaisted
Model Finding Strategies in Semantically Guided Instancebased Theorem Proving. [Citation Graph (0, 0)][DBLP] ISMIS, 1993, pp:1928 [Conf]
 Jie Li, Jing Peng, Heng Chu, Weile Zhu
Automatic Digital Modulation Recognition Using Support Vector Machines and Genetic Algorithm. [Citation Graph (0, 0)][DBLP] ISNN (2), 2005, pp:568573 [Conf]
 Heng Chu, David A. Plaisted
Model Finding in Semantically Guided InstanceBased Theorem Proving. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1994, v:21, n:3, pp:221235 [Journal]
 Heng Chu, David A. Plaisted
CLINS  A Semantically Guided FirstOrder Theorem Prover. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1997, v:18, n:2, pp:183188 [Journal]
Dependency Analysis Framework for Software Service Delivery. [Citation Graph (, )][DBLP]
Search in 0.222secs, Finished in 0.222secs
