Compact Policies for Fully-Observable Non-Deterministic Planning as SAT | Read Paper on Bytez