Experimental Data on Relevance Filtering

Here you can download some of the data used for the experiments described in the paper "Lightweight Relevance Filtering for Machine-Generated Resolution Problems" by Paulson and Meng: specifically, the data for figures 15 to 17. The following items are available.

Last modified Thursday 12 January, 2012
Lawrence C. PaulsonComputer LaboratoryUniversity of Cambridge