Login / Signup

DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions.

Alexey IgnatievAlexander A. Semenov
Published in: SAT (2011)
Keyphrases
  • real time
  • data sets
  • evolutionary algorithm
  • np complete
  • genetic algorithm
  • hash functions