Compact Policies for Fully Observable Non-Deterministic Planning as SAT | Publicación