Hacker News
- Computing Tricky Probabilities Using Model Counting https://www.msoos.org/2025/02/computing-tricky-probabilities/ 12 comments
- SAT Solvers as Smart Search Engines https://www.msoos.org/2019/02/sat-solvers-as-smart-search-engines/ 5 comments
Lobsters
- Computing Tricky Probabilities https://www.msoos.org/2025/02/computing-tricky-probabilities/ 2 comments math