Solving LinkedIn Queens with APL
(news.ycombinator.com)
31.
32.
Solving LinkedIn Queens with SMT
(news.ycombinator.com)