Wonderings of a SAT geek
www.msoos.org
A blog about SAT solving and cryptography.
The site hosts personal writings on Boolean satisfiability (SAT) solving and cryptography, delving into algorithms, solvers, and related mathematical concepts. It is a focused resource for those with a technical interest in these fields, presenting original thoughts and findings rather than repackaged content. The straightforward design keeps the emphasis on the author's insights and research notes.
Checked with Google Web Risk · 1 hour ago
- language
- EN
- here since
- July 2026