4 ms·
okay, I'll bite.. what's a SAT, and why does it need to be solved? Am I a buffoon for thinking it's the standardized test?
by ar_xiv 7y ago
okay, I'll bite.. what's a SAT, and why does it need to be solved? Am I a buffoon for thinking it's the standardized test?
- sourceless 7y agohttps://en.wikipedia.org/wiki/Boolean_satisfiability_problem https://en.wikipedia.org/wiki/Boolean_satisfiability_problem
- petters 7y agoIt means satisfiability problem. You can think of it as one "assembly language" of optimization, in the sense that many higher-order problem formulations can be "compiled" to SAT.
- ar_xiv 7y agothanks
- mlevental 7y agohmm I wonder if the article about SAT solvers defines them? https://codingnest.com/modern-sat-solvers-fast-neat-underused-part-1-of-n/ https://codingnest.com/modern-sat-solvers-fast-neat-underuse...
- city41 7y agoTo be fair it took me a bit realize this was part 3 of a series. It would have made more sense to post part 1 to HN.