Parallelization of Deduction Strategies: An Analytical Study.

Maria Paola Bonacina Jieh Hsiang

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

Keyphrases

experimental study
similarity measure
theoretical framework
database
data sets
computer vision
simulation study
key factors