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