Blog Posts Tagged ‘algorithms’
2019
Refactoring Varisat: 3. Conflict Driven Clause Learning
Implementing search using decisions and clause learning.
Refactoring Varisat: 2. Clause Storage and Unit Propagation
Implementing a clause allocator and watchlist based unit propagation.
2017
Not Even Coppersmith’s Attack
Posted on December 23rd 2017, tagged algorithms, cryptography
Factoring ROCA weak RSA keys without using Coppersmith’s method.
Pushing Polygons on the Mega Drive
Write-up of the polygon renderer used for the Mega Drive demo “Overdrive 2”.