Automating the Search for Elegant Proofs.

Published in: J. Autom. Reason. (1998)

Keyphrases

search algorithm
search space
search strategy
real time
efficient search
relational databases
search strategies
theorem proving
query formulation
search efficiency
databases
data mining
information retrieval systems
solution space
search mechanism
equational theories