Compositional ATP Systems

Component ATP systems

• All components attempt the problem
• They share resources (CPU time)
• Time-slicing systems
• Competition systems

Features

• Breadth of coverage
  • In simple form, maximally the union of components
  • Rely on sub-linearity and complementarity
• Single and multi-CPU machines
• Benefit from diversity of components