jix.one jix.one

Uniformly Random High-Degree Regular Graphs are Asymptotically Almost Surely Link-Irregular

jix.one·21w

Proving 50-Year-Old Sorting Networks Optimal: Part 2

jix.one·245w

Proving 50-Year-Old Sorting Networks Optimal: Part 1

jix.one·262w

The Assembly Language of Satisfiability

jix.one·293w

Varisat 0.2.0 Released

jix.one·367w

Refactoring Varisat: 5. Incremental Solving and Proofs

jix.one·368w

Refactoring Varisat: 4. Heuristics

jix.one·373w

Refactoring Varisat: 3. Conflict Driven Clause Learning

jix.one·374w

Refactoring Varisat: 2. Clause Storage and Unit Propagation

jix.one·376w

Refactoring Varisat: 1. Basics and Parsing

jix.one·380w

Introducing partial_ref

jix.one·386w

Encoding Matrix Rank for SAT Solvers

jix.one·388w

Varisat 0.1.3: LRAT Generation and Proof Trimming

jix.one·400w

Introducing Varisat

jix.one·417w

Not Even Coppersmith’s Attack

jix.one·438w

Pushing Polygons on the Mega Drive

jix.one·469w

Log in to enable infinite scrolling