SAT solving is a "brute force method"?! I do not agree.https://twitter.com/vincentzimmer/status/892642327109394434 …
-
This Tweet is unavailable.
-
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.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This Tweet is unavailable.
-
Better-than-exponential. graph already is on a log scale. :) I don't know if there's a name and I don't have actual data for that claim..
- Show replies
-
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.