41,554 blogs · 5,197,919 posts Claim your blog

Record · corpus.blog/posts/01a08c64-9779-71c0-afc6-feb01c0bfaf2

Finding All Solutions to LinkedIn Queens with a SAT Solver and Model Checkers

Welcome! | Waqas Younas' blog · published 6 June 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at wyounas.github.io Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 15
Words captured: 7,062

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://buttondown.com/hillelwayne/archive/solving-linkedin-queens-with-smt/

buttondown.com

https://github.com/wyounas/linkedin_queens/blob/main/queens.py

github.com

https://github.com/wyounas/linkedin_queens/blob/main/queenfourbyfour.pml

github.com

https://github.com/wyounas/linkedin_queens/blob/main/queenninebynine.pml

github.com

https://github.com/wyounas/linkedin_queens/blob/main/queens_wo_region.pml

github.com

https://fizzbee.io/

fizzbee.io

https://github.com/wyounas/linkedin_queens/blob/main/queens.fizz

github.com

https://link.springer.com/book/10.1007/978-1-84628-770-1

link.springer.com

https://github.com/wyounas/model-checking/blob/main/puzzles/linkedin_queens

github.com

https://pyeda.readthedocs.io/en/latest/overview.html

pyeda.readthedocs.io

https://github.com/motib/jspin

github.com

https://spinroot.com/spin/Man/assert.html

spinroot.com

https://spinroot.com/spin/Man/condition.html

spinroot.com

https://spinroot.com/spin/Man/Pan.html

spinroot.com

https://spinroot.com/spin/Man/if.html

spinroot.com