Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
brtanymore
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
brtanymore
7y ago
SAT may be a game with rules too simple for DL approaches to outperform state-of-the-art traditional solvers right now, but SMT (Satisfiability modulo theories) is another story: https://papers.nips.cc/paper/8233-learni