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

Devs

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