HN
Hacker News
Top
New
Best
Ask
Show
Jobs
zero_k
825 karma · joined February 1, 2014
submissions
comments
Ganak: The making of a high-performance model counter
msoos.org
·
2 pts
·
zero_k
·
1
Computing Tricky Probabilities Using Model Counting
msoos.org
·
19 pts
·
zero_k
·
12
Probabilistic Approximate DNF volume counting
msoos.org
·
2 pts
·
zero_k
·
1