SEPIA: Search for Proofs Using Inferred Automata.

Thomas Gransden Neil Walkinshaw Rajeev Raman

Published in: CoRR (2015)

Keyphrases

search algorithm
search space
search methods
search efficiency
search strategy
search strategies
database
information retrieval
keyword search
query formulation