On the complexity of the correctness problem for non-zeroness test instruction sequences.

Jan A. Bergstra Cornelis A. Middelburg

Published in: Theor. Comput. Sci. (2020)

Keyphrases

hidden markov models
test sequences
worst case
test data
database
np hard
decision problems
sequence analysis
students learning
conjunctive query containment