Sign in
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