4 ms·
For those confused, this is not "SAT" as in the Scholastic Assessment Test, but rather SAT for "boolean SATisfiability"[1]. [1] https://en.wikipedia.org/wiki/B
by fastball 4y ago
For those confused, this is not "SAT" as in the Scholastic Assessment Test, but rather SAT for "boolean SATisfiability"[1].
[1] https://en.wikipedia.org/wiki/Boolean_satisfiability_problem https://en.wikipedia.org/wiki/Boolean_satisfiability_problem
- bee_rider 4y agoIf it were the former, the title would have to be “why the SAT is hard.”