Homogeneous Sets of ATP Problems

Matthias Fuchs and Geoff Sutcliffe

This paper describes how the homogeneity of sets of ATP problems can be measured with respect to the performance of ATP systems. Measuring homogeneity is important as a basis for empirical evaluation of ATP systems and problems. A machine learning approach has been used to differentiate between types of problems in situations where heterogeneity is apparent.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.