What must ATP Deliver?

Strong ATP Systems

• Testing
• Problem analysis
• Solution analysis
• Runtime analysis
• Commincating systems
• etc, etc, etc

Usable ATP Systems

• System interfaces
• Automatic operation
• Solution presentation

Trusted ATP Systems

• Verified outputs
• Certified ATP systems

Problem Encoding

• Interactive encoding
• Automatic encoding
• Automatic discovery