Een, N.; Legg, A.; Narodytska, N.; Ryzhyk, L. SAT-Based Strategy Extraction in Reachability Games. AAAI 2015, 29.