Solving LinkedIn Queens with SMT • Buttondown
For sure easier than solving it in SAT!| buttondown.com
Personal website showcasing research, publications, and blog| zayenz.se
Solving LinkedIn Queens with APL| pitr.ca
For sure easier than solving it in SAT!| buttondown.com
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| Ryan Berger's Page
