zero_k

825 karmajoined February 1, 2014On HN

Recent submissions

Ganak: The making of a high-performance model counter msoos.org
2zero_k6mo1 comment
Computing Tricky Probabilities Using Model Counting msoos.org
19zero_k1y12 comments

All submissions and comments on Hacker News.