Login / Signup

Strategy Parallelism in Automated Theorem Proving.

Andreas WolfReinhold 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