Using SAT to Get the World Record on LinkedIn's Queens (via zenspider) — discussion

#compsci #math