Login / Signup
Strategy Parallelism in Automated Theorem Proving.
Andreas Wolf
Reinhold Letz
Published in:
Int. J. Pattern Recognit. Artif. Intell. (1999)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
massively parallel
search algorithm
software engineering
orders of magnitude
parallel implementation
computational power