Geffner, T.; Geffner, H. Compact Policies for Fully Observable Non-Deterministic Planning As SAT. ICAPS 2018, 28, 88-96.