Efficient Parallel Algorithms for Anti-Unification and Relative Complement

Gabriel M. Kuper Ken McAloon Krishna V. Palem Kenneth J. Perry

Published in: LICS (1988)

Keyphrases

parallel algorithm
parallel computation
artificial intelligence
graphics processors
parallel programming
cluster of workstations
machine learning
search algorithm
expert systems
higher order
shared memory
parallel version
parallel implementations
combinatorial search problems