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