Hacker News new | ask | show | jobs
user: dselsam
created: 2017-06-29
karma: 276

submissions:

Terence Tao on O1
664 points | 482 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
NeuroCore: Guiding CDCL with Unsat-Core Predictions
5 points | 0 comments
0 points | 0 comments
Vaporithms
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments