> Instead of writing a constructive algorithm, you instead try to specify what content you want in some formal way, and then use a solver to generate content meeting the description (a genetic algorithm, constraint solver, etc.)

This is basically the difference between imperative programming and logical programming. Each has advantageous domains (basically which ever way is easier to implement).