Hacker Newsnew | past | comments | ask | show | jobs | submit | jix's submissionslogin
1.
Varisat 0.2.0 Released (Sat Solver in Rust) (jix.one)
2 points by jix on May 4, 2019 | past
2.
Incremental Solving and Proofs (Sat Solver Written in Rust) (jix.one)
1 point by jix on April 26, 2019 | past
3.
Refactoring Varisat: 4. Heuristics (Sat Solver in Rust) (jix.one)
1 point by jix on March 21, 2019 | past
4.
Refactoring Varisat: 3. Conflict Driven Clause Learning (jix.one)
2 points by jix on March 19, 2019 | past
5.
Not Even Coppersmith's Attack (jix.one)
2 points by jix on Dec 23, 2017 | past
6.
Pushing Polygons on the Mega Drive (jix.one)
194 points by jix on May 16, 2017 | past | 45 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: