SSCPA - Competitive Parallelism
Principle
Different systems solve different problems at different speeds
Deduction techniques match problem characteristics
ATP systems
quickly solve most problems that they can solve
Take advantage of
individual system strengths
Architecture
Classify problem into
Specialist Problem Class
Use
system ratings
to select ATP systems
Run the ATP systems concurrently, in competition, without cooperation
