Pandey, Binda, and Jussi Rintanen. 2018. “Planning for Partial Observability by SAT and Graph Constraints”. Proceedings of the International Conference on Automated Planning and Scheduling 28 (1):190-98. https://doi.org/10.1609/icaps.v28i1.13896.