[srlorkkb] Constrained art

Enumerate art which has had significant computation expended on it solving a constraint satisfaction problem.

Not an optimization problem.  Finding even one solution should have been significant effort.  Though this is a gray area: removing just enough constraints so that there is a solution is itself an optimization problem.  Then, if there are multiple solutions, optimizing for the best one.

Autogram is famous, but not really that beautiful as art -- poetry -- beyond its constraint satisfaction.

Could CSP (possibly encoded as SAT) be applied to composing music beyond the ability of human composers?  Interweaving parts, but everything just fits.