jix.one

Blog Posts Tagged ‘algorithms’

2019

Refactoring Varisat: 2. Clause Storage and Unit Propagation

Posted on March 2nd 2019, tagged algorithms, refactoring-varisat, rust, sat

Implementing a clause allocator and watchlist based unit propagation.

Refactoring Varisat: 3. Conflict Driven Clause Learning

Posted on March 18th 2019, tagged algorithms, refactoring-varisat, rust, sat

Implementing search using decisions and clause learning.

2017

Pushing Polygons on the Mega Drive

Posted on May 16th 2017, tagged algorithms, demoscene, graphics

Write-up of the polygon renderer used for the Mega Drive demo “Overdrive 2”.

Not Even Coppersmith’s Attack

Posted on December 23rd 2017, tagged algorithms, cryptography

Factoring ROCA weak RSA keys without using Coppersmith’s method.