Jim Whitehead. Spatial Layout of Procedural Dungeons Using Linear Constraints and SMT Solvers. In Georgios N. Yannakakis, Antonios Liapis, Penny Kyburz, Vanessa Volz, Foaad Khosmood, Phil Lopes, editors, FDG '20: International Conference on the Foundations of Digital Games, Bugibba, Malta, September 15-18, 2020. ACM, 2020. [doi]
Abstract is missing.