Login / Signup

Analysis of Boomerang Differential Trails via a SAT-Based Constraint Solver URSA.

Aleksandar Kircanski
Published in: ACNS (2015)
Keyphrases
  • constraint solver
  • constraint propagation
  • linear constraints
  • data analysis
  • constraint solving
  • constraint programming
  • linear programming