Search results

From ApCoCoAWiki

  • Team
    * [[User:Philipp jovanovic|Philipp Jovanovic]] ...
    2 KB (220 words) - 17:59, 4 May 2024
  • Package sat
    ...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
Retrieved from "https://app.apcocoa.uni-passau.de/wiki/index.php/Special:Search"