Contents

Introduction

• What is ATP?
• What is ATP Used For?
• The Nature of ATP
• TPTP-CASC-SSCPA

TPTP

• The Bad Old Days
• Aims and Motivations
• Inside the TPTP
  • Domains
  • Problems and Axioms
  • Problem Ratings
• tptp2X
• Accessing the TPTP
• Running an ATP System
• The Good New Days

CASC

• History
• Organization
• Aims and Motivations
• Competition Design
  • What ATP Systems?
  • Eligible Problems
  • SPCs and Divisions
  • System Execution
• System Ranking
• Results

SSCPA

• Aims and Motivations
• Design
  • Architecture
  • System Evaluation
  • Smart Selection
  • SSCPA Modes
• Simulation Results
• Real Implementation
• CASC-16 Results

Conclusion