HN Explorer

jix

↗ HN profile [ 2642 ms ] full profile
Karma
171
Created
January 20, 2011 (15y ago)
Submissions
0
  1. Varisat 0.2.0 Released (Sat Solver in Rust) (jix.one)
    2 points 0
  2. Incremental Solving and Proofs (Sat Solver Written in Rust) (jix.one)
    1 points 0
  3. Refactoring Varisat: 4. Heuristics (Sat Solver in Rust) (jix.one)
    1 points 0
  4. Refactoring Varisat: 3. Conflict Driven Clause Learning (jix.one)
    2 points 0
  5. Not Even Coppersmith's Attack (jix.one)
    2 points 0
  6. Pushing Polygons on the Mega Drive (jix.one)
    194 points 45