Return to Article Details Compact Policies for Fully Observable Non-Deterministic Planning as SAT Download Download PDF