Homogeneous Sets of ATP Problems

Introduction

• The Nature of ATP
• What is Required?
• Problem and System Evaluation

Cliques of Problems

• Homogeneous Behaviour
• Compatibility Graphs and Cliques
• Degrees of Compatibility
• Dealing with Missing Data

Testing for Homogeneity

• Testing on TPTP v2.0.0
• Generating Homogeneous Sets
• Machine Learning