The Computational Complexity of Satisfiability in State Space Models