N. Sturtevant and M. Ota, “Exhaustive and Semi-Exhaustive Procedural Content Generation”, AIIDE, vol. 14, no. 1, pp. 109-115, Sep. 2018.