It's pretty damn clear if you have any idea what SAT and complexity theory is (which I don't), the DO eventually get around to mentioning in passing that SAT (t

It's pretty damn clear if you have any idea what SAT and complexity theory is (which I don't), the DO eventually get around to mentioning in passing that SAT (the word in the headline, mind you) is short satisfiability, but look where.. I can't comment on the contents of the article itself, I know nothing about the subject, I only mentioned my frustration that, as someone who dares explore links on the Internet, even if they can't extrapolate the subject from the headline (the audacity, I know), it's impossible from the first paragraphs of that text to even find out what kind of subject we're talking about here.. And the SAT word, well, for me, that's what tripped me.. Look at this random article for comparison http://www.cs.toronto.edu/~lalla/373s16/notes/CSAT2SAT.pdf http://www.cs.toronto.edu/~lalla/373s16/notes/CSAT2SAT.pdf They explain it in the third sentence, and they told what SAT meant _BEFORE_ they used it for the first time, not half a dense page further down in passing. Sure, this is putting my ignorance on display, but I'm not going to apologize for not knowing about every subject in the corpus of human knowledge..