Contents

Introduction

• History
• Aims and Motivations
• Organization

Competition Design

• What ATP Systems?
• SPCs and Divisions
• Eligible Problems
• Problem Selection and Time Limit
• System Execution
• System Ranking
• Rules for Entry

Conclusion