Simon Schäfer, Stephan Schulz. Breeding Theorem Proving Heuristics with Genetic Algorithms. In Georg Gottlob, Geoff Sutcliffe, Andrei Voronkov, editors, Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015. Volume 36 of EPiC Series in Computing, pages 263-274, EasyChair, 2015. [doi]
Abstract is missing.