_id,title 1166,A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps