Strategy Parallelism in Automated Theorem Proving.

Andreas Wolf Reinhold Letz

Published in: FLAIRS Conference (1998)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
search strategy
data sets
orders of magnitude
data parallelism
machine learning
genetic algorithm
supervised learning
parallel processing
search strategies
shared memory
computational power
optimal strategy