Hacker Newsnew | past | comments | ask | show | jobs | submit | zero_k's submissionslogin
1.
Ganak: The making of a high-performance model counter (msoos.org)
2 points by zero_k 28 days ago | past | 1 comment
2.
Computing Tricky Probabilities Using Model Counting (msoos.org)
19 points by zero_k on Feb 10, 2025 | past | 12 comments
3.
Probabilistic Approximate DNF volume counting (msoos.org)
2 points by zero_k on Sept 24, 2023 | past | 1 comment

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: