Pandey, B.; Rintanen, J. Planning for Partial Observability by SAT and Graph Constraints. ICAPS 2018, 28, 190-198.