Search results
From ApCoCoAWiki
- * [[User:Philipp jovanovic|Philipp Jovanovic]]2 KB (209 words) - 15:18, 9 October 2020
- ...10/satattack/satattack.pdf Algebraic Attacks Using SAT-Solvers] by Philipp Jovanovic, the author of this package, and Martin Kreuzer.3 KB (475 words) - 10:23, 2 November 2020