A note on the hardness of Skolem-type sequences.

Published in: Discret. Appl. Math. (2010)

Keyphrases

first order logic
computational complexity
hidden markov models
worst case
long sequences
real time
genetic algorithm
computer vision
website
np hard