WaveFunctionCollapse is constraint solving in the wild
Conflict-Driven Answer Set Solving: From Theory to Practice