Compact Policies for Fully-Observable Non-Deterministic Planning as SAT

Open in new window