Paper accepted at ICAPS 2018
03.03.2018
Geffner, T., Geffner, H. (2018). Compact Policies for Fully-Observable Non-Deterministic Planning as SAT.
Geffner, T., Geffner, H. (2018). Compact Policies for Fully-Observable Non-Deterministic Planning as SAT.