Spatial Layout of Procedural Dungeons Using Linear Constraints and SMT Solvers

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]

Authors

Jim Whitehead

This author has not been identified. It may be one of the following persons: Look up 'Jim Whitehead' in Google