Login / Signup
Analysis of Boomerang Differential Trails via a SAT-Based Constraint Solver URSA.
Aleksandar Kircanski
Published in:
IACR Cryptol. ePrint Arch. (2014)
Keyphrases
</>
constraint solver
constraint solving
constraint programming
data analysis
pattern recognition
constraint propagation
linear constraints
objective function
relational databases