B. Pandey and J. Rintanen, “Planning for Partial Observability by SAT and Graph Constraints”, ICAPS, vol. 28, no. 1, pp. 190-198, Jun. 2018.