Zhang, Hejia, et al. “Video Game Level Repair via Mixed Integer Linear Programming”. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, vol. 16, no. 1, Oct. 2020, pp. 151-8, doi:10.1609/aiide.v16i1.7424.