Reconstructing AES Key Schedule Images with SAT and MaxSAT.

Xiaojuan Liao Hui Zhang Miyuki Koshimura

Published in: IEICE Trans. Inf. Syst. (2016)

Keyphrases

image data
input image
rigid body
ground truth
three dimensional
image analysis
image database
image retrieval
similarity measure
image collections
test images
sat solvers
image set
image matching
image classification
segmentation method
image features
satisfiability problem
scheduling problem
multiple images
multiresolution
sat problem