Combining Parallel and Distributed Search in Automated Equational Deduction.

Carsten Sinz Jörg Denzinger Jürgen Avenhaus Wolfgang Küchlin

Published in: PPAM (2001)

Keyphrases

distributed search
theorem proving
heterogeneous agents
first order logic
theorem prover
inference rules
parallel processing
conflict management
parallel implementation
parallel execution
peer to peer systems
shared memory
object oriented
massively parallel