Contents
Introduction
History
Aims and Motivations
Organization
Competition Design
What ATP Systems?
SPCs
and
Divisions
Eligible Problems
and
Problem Selection
Time Limits
System Execution
and
System Ranking
Rules for Entry
Past Results
and
Present Changes
and
Future Ideas
Conclusion
The End - Questions?
