> I'll be honest, while it's possible the article is genuine

No, there's not really much chance of that:

>> “Dada, real planners use SAT and its relatives for timetabling, chip layout, and routing for the same reason.”