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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.