T-String Unification: Unifying Prefixes in Non-classical Proof Methods.

Jens Otten Christoph Kreitz

Published in: TABLEAUX (1996)

Keyphrases

machine learning methods
classical methods
significant improvement
empirical studies
pattern matching
information retrieval
genetic algorithm
search algorithm
artificial neural networks
computational cost
cross validation