[groestl]

> But there was literally no hook for me to hold onto

Ahm, from the text: "Boolean satisfiability, or SAT is a decision problem where an input is a boolean formula like [...]"

[doctor_eval]

Yeah but it appears ½ way down. I didn’t make it that far because I had no context.