Planning with Partially Observable Markov Decision Processes: Advances in Exact Solution Method