Search: github.com/iliazintchenko | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Autoresearch for SAT Solvers (github.com/iliazintchenko)

167 points

3 months ago

2.

Autoresearch for Integer Factorization (github.com/iliazintchenko)

4 points

2 months ago

3.

Autoresearch for SAT Solvers (github.com/iliazintchenko)

3 points

3 months ago

4.

The fastest NP-hard solver is 50 lines of code (github.com/iliazintchenko)

3 points

a year ago