Exploitation of Parallelism in Prototypical Deduction Problems.

Ralph Butler Nicholas T. Karonis

Published in: CADE (1988)

Keyphrases

related problems
neural network
information retrieval
data structure
computational complexity
high dimensional
parallel processing
inference rules
theorem proving
problems involving
massively parallel
solving problems
difficult problems