How to Run a Logic-Solver Competition
The CASC Experience

Introduction to CASC

What's Needed for a Successful Competition

• An established infrastructure is a key to success
  • Abstractly speaking
  • What we use in CASC
  • What will the DKRC use?

• A Common Language
• Background Theories
• Problems
• Specialist Problem Classes
• Solutions
• Problem Ratings
• Competition Organization
• System Evaluation
• A Stimulating Environment
• Compute Resources
• Recognition for the Entrants
• Issues specific to the DKRC?

Cons and Pros

The End - Any Questions?

---