Categories
recording

Compact Policies for Fully Observable Non-Deterministic Planning as SAT