SSCPA
Abstract
This work describes the Smart Selective Competition Parallelism ATP system
SSCPA
SSCPA is an uncooperative multiple calculus competition parallelism ATP
system, that multitasks on a single CPU.
SSCPA runs multiple sequential ATP systems in parallel, using performance
data from the ATP systems to select those that are best suited to the problem.