T. H. Hu

According to our database, T. H. Hu authored at least 2 papers between 1991 and 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

1992

An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving.

T. H. Hu, Chuan Yi Tang, Richard C. T. Lee

Ann. Math. Artif. Intell., 1992

1991

An Average Case Analysis of Monien and Speckenmeyer's Mechanical Theorem Proving Algorithm.

T. H. Hu, Chuan Yi Tang, Richard C. T. Lee

Proceedings of the ISA '91 Algorithms, 1991