Parallel Link Resolution of Connection Graph Refutation and Its Implementation.

Rasiah Loganantharaj

Published in: ICPP (1987)

Keyphrases

parallel implementation
learning algorithm
inductive inference
implementation details
theorem proving
computer architecture
parallel computers
bit parallel
real world
evolutionary algorithm
multiresolution
first order logic
massively parallel