Algorithms for discovering and proving theorems about permutation patterns.

Hjalti Magnusson Henning Úlfarsson

Published in: CoRR (2012)

Keyphrases

orders of magnitude
computational cost
optimization problems
data mining techniques
theoretical analysis
recently developed
database
real time
data structure
computational complexity
interesting patterns
emerging patterns