Login / Signup
Proof-Set Search.
Martin Müller
Published in:
Computers and Games (2002)
Keyphrases
</>
search algorithm
search space
small number
solution space
theorem prover
information retrieval
theorem proving
databases
neural network
genetic algorithm
artificial intelligence
hierarchical structure
search strategy
information seeking
partial solutions
proof search