SAT solving is a "brute force method"?! I do not agree.https://twitter.com/vincentzimmer/status/892642327109394434 …
-
This Tweet is unavailable.
-
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 …
-
>> it's pretty safe to say that modern state-of-the-art SAT solvers are better than brute force for instances of practical relevance.
End of conversation
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.