Smart Selective Competition Parallelism ATP
Geoff Sutcliffe, Darryl Seyfang · The Florida AI Research Society · 1999
This paper describes SSCPA, 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.