Ian Douglas Horswill. CatSAT: A Practical, Embedded, SAT Language for Runtime PCG. In Jonathan P. Rowe, Gillian Smith, editors, Proceedings of the Fourteenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2018, November 13-17, 2018, Edmonton, Alberta, Canada. pages 38-44, AAAI Press, 2018. [doi]
Abstract is missing.