|
|
| | 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
|
