4 ms·
> 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 for
by groestl 4y ago
> 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 4y agoYeah but it appears ½ way down. I didn’t make it that far because I had no context.