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]
@inproceedings{Whitehead20,
title = {Spatial Layout of Procedural Dungeons Using Linear Constraints and SMT Solvers},
author = {Jim Whitehead},
year = {2020},
doi = {10.1145/3402942.3409603},
url = {https://doi.org/10.1145/3402942.3409603},
researchr = {https://researchr.org/publication/Whitehead20},
cites = {0},
citedby = {0},
booktitle = {FDG '20: International Conference on the Foundations of Digital Games, Bugibba, Malta, September 15-18, 2020},
editor = {Georgios N. Yannakakis and Antonios Liapis and Penny Kyburz and Vanessa Volz and Foaad Khosmood and Phil Lopes},
publisher = {ACM},
isbn = {978-1-4503-8807-8},
}