HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Autoresearch for SAT Solvers
github.com/iliazintchenko
32 comments
3 months ago
chaisan
167 points
2.
▲
Autoresearch for Integer Factorization
github.com/iliazintchenko
discuss
3 months ago
chaisan
4 points
3.
▲
Autoresearch for SAT Solvers
github.com/iliazintchenko
1 comment
3 months ago
chaisan
3 points
4.
▲
The fastest NP-hard solver is 50 lines of code
github.com/iliazintchenko
discuss
a year ago
chaisan
3 points