Universal Generation for Optimality Theory Is PSPACE-Complete.

Published in: Comput. Linguistics (2024)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
strips planning
learning algorithm
database
query language
markov chain
sufficient conditions
tree automata