Search results

From ApCoCoAWiki
  • * [[User:Philipp jovanovic|Philipp Jovanovic]]
    2 KB (218 words) - 10:09, 4 May 2023
  • ...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