Using SAT to Get the World Record on LinkedIn's Queens
Special thanks to @tombh for proofing this blog post! Edit 5/28: added a link to the repo and corrected the solver I used Did you know that LinkedIn has games? I sure as hell didn’t until my Dad showed me that they in fact have 5 (!) different games that you can play. One of them stood out to me as somewhat interesting, Queens: Solved Queens board ...