The Hat, the Spectre and SAT solvers (via hwayne) — discussion

#compsci #math