[dantillberg]

To up the ante, it would be a fairly good challenge to write a computer program that solves this puzzle efficiently.

[smt88]

Another commenter mentioned having written a program that solves it (though not necessarily efficiently).

I think that's what distinguishes the truly excellent/"lazy" coders from the head-down, 9-to-5 types.