WaveFunctionCollapse is constraint solving in the wild
Answer Set Programming for Procedural Content Generation: A Design Space Approach