Automated Invention of Strategies and Term Orderings for Vampire
Jakubův, J., Suda, M., Urban, J.
JAKUBŮV, J., M. SUDA, and J. URBAN. Automated Invention of Strategies and Term Orderings for Vampire. In: BENZMULLER, C., M. THEOBALD, and C.L. LISETTI, eds. GCAI 2017, 3rd Global Conference on Artificial Intelligence. 3rd Global Conference on Artificial Intelligence, Miami, 2017-10-18/2017-10-22. Manchester: EasyChair Publications, 2017. p. 121-133. EPiC Series in Computing. vol. 50. ISSN 2398-7340. Available from: http://www.easychair.org/publications/paper/rsMF