Get the latest tech news
Solving LinkedIn Queens with SMT
For sure easier than solving it in SAT!
I was reminded of this when I read Ryan Berger's post on solving “LinkedIn Queens” as a SAT problem. (Incidentally, using 0-based indexing for the board was a mistake on my part, it makes correctly encoding the regions later really painful.) I knew for sure that I was going to make a mistake encoding the region, and the solver wasn't going to provide useful information abut what I did wrong.
Or read this on Hacker News