SEPIA: Search for Proofs Using Inferred Automata.

Thomas Gransden Neil Walkinshaw Rajeev Raman

Published in: CADE (2015)

Keyphrases

search algorithm
databases
search strategy
search problems
cellular automata
search space
search efficiency
search strategies
relational databases
neural network
case study
website
keyword search
information seeking
theorem prover
theorem proving
search procedure
genetic algorithm