HN Explorer

zero_k

↗ HN profile [ 2970 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Incentives in Academic Research (msoos.org)
    1 points 76
  2. Ganak: The making of a high-performance model counter (msoos.org)
    2 points 1
  3. Computing Tricky Probabilities Using Model Counting (msoos.org)
    16 points 8
  4. Probabilistic Approximate DNF volume counting (msoos.org)
    2 points 1