Invariant Generation in Vampire.

Krystof Hoder Laura Kovács Andrei Voronkov

Published in: TACAS (2011)

Keyphrases

decision trees
generation process
artificial intelligence
information systems
multimedia
data sets
feature selection
feature extraction
similarity measure
optimal solution
wide range
pattern recognition
natural language
digital libraries