Hierarchical Deduction.

Tie-Cheng Wang W. W. Bledsoe

Published in: J. Autom. Reason. (1987)

Keyphrases

data sets
theorem proving
hierarchical model
hierarchical clustering
neural network
real world
feature selection
case study
search algorithm
hierarchical structure
coarse to fine