Generating Lemmas for Tableau-based Proof Search Using Genetic Programming.

Marc Fuchs, Dirk Fuchs, Matthias Fuchs

Browse the full GECCO paper archive.