A Note on the Decidability of subword inequalities.

Szilárd Zsolt Fazekas Robert Mercas

Published in: Int. J. Found. Comput. Sci. (2013)

Keyphrases

text classification
n gram
description logics
sufficient conditions
linear inequalities
query answering
mixed integer linear programs
speech recognition
valid inequalities
decision procedures
cutting plane algorithm
special case