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