corpus.blog
41554 blogs · [ { "id": "01a0878e-1343-723f-bb9f-df6f3b607b25", "title": "Uniformly Random High-Degree Regular Graphs are Asymptotically Almost Surely Link-Irregular", "url": "https://jix.one/uniformly-random-high-degree-regular-graphs-are-asymptotically-almost-surely-link-irregular/", "published_at": "2025-12-21T18:00:27+00:00" }, { "id": "01a0878e-1343-723f-bb9f-df6f3c301eb8", "title": "Proving 50-Year-Old Sorting Networks Optimal: Part 2", "url": "https://jix.one/proving-50-year-old-sorting-networks-optimal-part-2/", "published_at": "2021-09-01T13:51:38+00:00" }, { "id": "01a0878e-1343-723f-bb9f-df6f3c8cd53e", "title": "Proving 50-Year-Old Sorting Networks Optimal: Part 1", "url": "https://jix.one/proving-50-year-old-sorting-networks-optimal-part-1/", "published_at": "2021-05-04T13:14:11+00:00" }, { "id": "01a0878e-1343-723f-bb9f-df6f3d5f61d0", "title": "The Assembly Language of Satisfiability", "url": "https://jix.one/the-assembly-language-of-satisfiability/", "published_at": "2020-10-03T15:20:47+00:00" }, { "id": "01a0878e-1343-723f-bb9f-df6f3da76492", "title": "Varisat 0.2.0 Released", "url": "https://jix.one/varisat-0.2.0-released/", "published_at": "2019-05-04T10:15:51+00:00" }, { "id": "01a0878e-1343-723f-bb9f-df6f3dd399bd", "title": "Refactoring Varisat: 5. Incremental Solving and Proofs", "url": "https://jix.one/refactoring-varisat-5-incremental-solving-and-proofs/", "published_at": "2019-04-26T14:12:54+00:00" }, { "id": "01a0878e-1343-723f-bb9f-df6f3dd73f02", "title": "Refactoring Varisat: 4. Heuristics", "url": "https://jix.one/refactoring-varisat-4-heuristics/", "published_at": "2019-03-21T10:46:30+00:00" }, { "id": "01a0878e-1343-723f-bb9f-df6f3e2c8042", "title": "Refactoring Varisat: 3. Conflict Driven Clause Learning", "url": "https://jix.one/refactoring-varisat-3-cdcl/", "published_at": "2019-03-18T19:00:53+00:00" }, { "id": "01a0878e-1343-723f-bb9f-df6f3f0d0ccd", "title": "Refactoring Varisat: 2. Clause Storage and Unit Propagation", "url": "https://jix.one/refactoring-varisat-2-clause-storage-and-unit-propagation/", "published_at": "2019-03-02T17:18:04+00:00" }, { "id": "01a0878e-1343-723f-bb9f-df6f3fa9ce5a", "title": "Refactoring Varisat: 1. Basics and Parsing", "url": "https://jix.one/refactoring-varisat-1-basics-and-parsing/", "published_at": "2019-02-03T16:37:42+00:00" }, { "id": "01a0878e-1343-723f-bb9f-df6f40753c73", "title": "Introducing partial_ref", "url": "https://jix.one/introducing-partial_ref/", "published_at": "2018-12-24T13:07:10+00:00" }, { "id": "01a0878e-1343-723f-bb9f-df6f4136fa37", "title": "Encoding Matrix Rank for SAT Solvers", "url": "https://jix.one/encoding-matrix-rank-for-sat-solvers/", "published_at": "2018-12-07T18:59:25+00:00" }, { "id": "01a0878e-1343-723f-bb9f-df6f42273e9f", "title": "Varisat 0.1.3: LRAT Generation and Proof Trimming", "url": "https://jix.one/varisat-0.1.3-lrat-generation-and-proof-trimming/", "published_at": "2018-09-14T12:54:02+00:00" }, { "id": "01a0878e-1343-723f-bb9f-df6f4243755c", "title": "Introducing Varisat", "url": "https://jix.one/introducing-varisat/", "published_at": "2018-05-20T13:42:27+00:00" }, { "id": "01a0878e-1343-723f-bb9f-df6f43312400", "title": "Not Even Coppersmith’s Attack", "url": "https://jix.one/not-even-coppersmiths-attack/", "published_at": "2017-12-23T17:18:52+00:00" }, { "id": "01a0878e-1343-723f-bb9f-df6f44061f47", "title": "Pushing Polygons on the Mega Drive", "url": "https://jix.one/pushing-polygons-on-the-mega-drive/", "published_at": "2017-05-16T18:37:45+00:00" } ] posts Claim your blog
Back to jix.one
Blog · corpus.blog/blogs/jix.one/posts

jix.one

jix.one

2025

Uniformly Random High-Degree Regular Graphs are Asymptotically Almost Surely Link-Irregularoriginal ↗
21 Dec 2025

2021

Proving 50-Year-Old Sorting Networks Optimal: Part 2original ↗
1 Sept 2021
Proving 50-Year-Old Sorting Networks Optimal: Part 1original ↗
4 May 2021

2020

The Assembly Language of Satisfiabilityoriginal ↗
3 Oct 2020

2019

Varisat 0.2.0 Releasedoriginal ↗
4 May 2019
Refactoring Varisat: 5. Incremental Solving and Proofsoriginal ↗
26 Apr 2019
Refactoring Varisat: 4. Heuristicsoriginal ↗
21 Mar 2019
Refactoring Varisat: 3. Conflict Driven Clause Learningoriginal ↗
18 Mar 2019
Refactoring Varisat: 2. Clause Storage and Unit Propagationoriginal ↗
2 Mar 2019
Refactoring Varisat: 1. Basics and Parsingoriginal ↗
3 Feb 2019

2018

Introducing partial_reforiginal ↗
24 Dec 2018
Encoding Matrix Rank for SAT Solversoriginal ↗
7 Dec 2018
Varisat 0.1.3: LRAT Generation and Proof Trimmingoriginal ↗
14 Sept 2018
Introducing Varisatoriginal ↗
20 May 2018

2017

Not Even Coppersmith’s Attackoriginal ↗
23 Dec 2017
Pushing Polygons on the Mega Driveoriginal ↗
16 May 2017