Evaluating ATP Problems
Aim
To provide
- Intuitively acceptable
- Practically realistic
ratings for ATP problems, wrt ATP systems and techniques
Motivation
- Necessary for ATP system evaluation
- Simplify problem selection according to users' intentions
- Provide a quantitative indicator of progress in ATP