For SAT, a problem that is pretty much the poster child for "NP-Complete," the progress of SAT solvers over the past couple of decades has been nothing short of astounding.
Stories like this seem to pop up semi-frequently on HN. So I'm wondering -- has anyone tried to sue Google, perhaps in small claims court (for U.S. residents)? Surely that would at least compel an actual human to…
For SAT, a problem that is pretty much the poster child for "NP-Complete," the progress of SAT solvers over the past couple of decades has been nothing short of astounding.
Stories like this seem to pop up semi-frequently on HN. So I'm wondering -- has anyone tried to sue Google, perhaps in small claims court (for U.S. residents)? Surely that would at least compel an actual human to…