Detecting Short Reset Words Parameterized by Number of States.

Published in: CoRR (2014)

Keyphrases

information retrieval
small number
genetic algorithm
finite number
maximum number
database
data sets
objective function