> 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

> 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.”