Parallel ATP

Types of Parallelism

Suttner and Schumann's Classification

Partitioning parallelism
(the problem is partitioned)
Competition parallelism
(the problem is attempted in different ways)
Single calculus
Multiple calculi
Cooperative
(tasks share results)
ROO
(Lusk and McCune 1992)
Team Work Completion
(Denzinger 1991)
CPTHEO
(Fuchs and Wolf 1998)
Uncooperative
(tasks work independently)
METEOR
(Astrachan 1994)
p-SETHEO
(Wolf and Letz 1998)
SSCPA