|
|
| | Proving 50-Year-Old Sorting Networks Optimal: Part 2 (jix.one) | |
1 point by g0xA52A2A on Sept 11, 2021 | past
|
|
| | Proving 50-Year-Old Sorting Networks Optimal: Part 1 (jix.one) | |
53 points by todsacerdoti on May 5, 2021 | past | 13 comments
|
|
| | The Assembly Language of Satisfiability (jix.one) | |
2 points by ColinWright on Oct 3, 2020 | past
|
|
| | Varisat 0.2.0 Released (Sat Solver in Rust) (jix.one) | |
2 points by jix on May 4, 2019 | past
|
|
| | Incremental Solving and Proofs (Sat Solver Written in Rust) (jix.one) | |
1 point by jix on April 26, 2019 | past
|
|
| | Refactoring Varisat: 4. Heuristics (Sat Solver in Rust) (jix.one) | |
1 point by jix on March 21, 2019 | past
|
|
| | Refactoring Varisat: 3. Conflict Driven Clause Learning (jix.one) | |
2 points by jix on March 19, 2019 | past
|
|
| | Encoding Matrix Rank for SAT Solvers (jix.one) | |
4 points by tosh on Dec 8, 2018 | past
|
|
| | Not Even Coppersmith's Attack (jix.one) | |
2 points by jix on Dec 23, 2017 | past
|
|
| | 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
|
