Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics.

Daniel Khlwein, Twan van Laarhoven, Evgeni Tsivtsivadze, Josef Urban, Tom Heskes

Browse the full CADE paper archive.