Zhang, H. et al. 2020. Video Game Level Repair via Mixed Integer Linear Programming. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment. 16, 1 (Oct. 2020), 151–158. DOI:https://doi.org/10.1609/aiide.v16i1.7424.