Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions.

Steven Schäfer Tobias Tebbi Gert Smolka

Published in: ITP (2015)

Keyphrases

neural network
database
databases
knowledge base
data sets
case study
search algorithm
general purpose
pattern discovery
massively parallel