News for hackers. Stuff that matters.

A comment on “P = NP” Polynomial-Sized LP Models for Hard Cops. Parent comment

Re:“P = NP” Polynomial-Sized LP Models for Hard Cops by TimPC on Thursday January 26, 2023 @09:21AM (#34531871)
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.
[ Parent | on HN ]

There are no comments on this comment yet.