p-SETHEO: Strategy Parallelism in Automated Theorem Proving.

Andreas Wolf

Browse the full TABLEAUX paper archive.