This is pretty interesting! A related algorithm that may be useful is Wave Function Collapse, which can be taught using seating constraints like this.