OR-Parallel Theorem Proving with Random Competition.

Wolfgang Ertel

Browse the full LPAR paper archive.