Systems and Problems and Data

What ATP Systems are Considered?

• Automation and Solutions
• Soundness and Completeness
• Some of the Systems

What Problems should be Used?

• Source of Problems
• Encoding of Problems
• Presentation of Problems

What Data should be Used?

• Source of Solutions
• Specialist Problem Classes
• Resource Limit Independence