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