SAT solving is a "brute force method"?! I do not agree.https://twitter.com/vincentzimmer/status/892642327109394434 …
The important bit here is "in general". Most actual SAT instances can be solved much more efficiently. An that's what SAT solvers exploit.
-
-
Nobody would be using SAT solvers if they were just brute force guessing solutions and checking if they found one that works..
-
If you have continuous better-than-exponential improvements in algorithmic performance for decades then >> https://pbs.twimg.com/media/C_Z2-GfXsAAGBwW.jpg …
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.