On the relationship between satisfiability and partially observable Markov decision processes