MILP-Based Automatic Search Algorithms for Differential and Linear Trails for Speck.

Kai Fu Meiqin Wang Yinghua Guo Siwei Sun Lei Hu

Published in: FSE (2016)

Keyphrases

search algorithm
fully automatic
linear program
heuristic search
constraint satisfaction problems
branch and bound
data sets
information systems
multiscale
objective function
simulated annealing
data driven
np complete
search methods
path finding
mixed integer linear programming