Strategy Parallelism in Automated Theorem Proving.

Andreas Wolf, Reinhold Letz

Browse the full FlAIRS paper archive.