HN Explorer

dselsam

↗ HN profile [ 75.8 ms ] full profile
Karma
43
Created
June 29, 2017 (9y ago)
Submissions
0
  1. Terence Tao on O1 (mathstodon.xyz)
    664 points 525
  2. NeuroCore: Guiding CDCL with Unsat-Core Predictions (arxiv.org)
    5 points 0
  3. Vaporithms (stanford.edu)
    1 points 0