Comment on “P = NP” Polynomial-Sized LP Models for Hard CopsparentComments−TimPC3yWe’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.
Comments
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.