We’ve known a less formal version of this for a long time though. People use SAT solvers because most of the time they work very quickly even though SAT is an N

We’ve known a less formal version of this for a long time though. People use SAT solvers because most of the time they work very quickly even though SAT is an NP problem.