Automated Invention of Strategies and Term Orderings for Vampire.

Jan Jakubuv Martin Suda Josef Urban

Published in: GCAI (2017)

Keyphrases

semi automated
context sensitive
real time
neural network
image processing
website
data structure
information retrieval systems
data driven
semi automatic
fully automated
optimal strategy