Een, N., Legg, A., Narodytska, N., & Ryzhyk, L. (2015). SAT-Based Strategy Extraction in Reachability Games. Proceedings of the AAAI Conference on Artificial Intelligence, 29(1). https://doi.org/10.1609/aaai.v29i1.9752