New Records of Pre-image Search of Reduced SHA-1 Using SAT Solvers.
Emanuele BelliniAlessandro De PiccoliRusydi H. MakarimSergio PoleseLorenzo RivaAndrea ViscontiPublished in: ICMC (2021)
Keyphrases
- image search
- sat solvers
- orders of magnitude
- image classification
- visual features
- constraint satisfaction
- max sat
- sat problem
- image collections
- relevance feedback
- propositional satisfiability
- sat solving
- image retrieval
- sat instances
- image annotation
- search space
- web images
- search strategies
- weighted max sat
- clause learning
- lower bound
- constraint programming
- visual information
- knn
- computer vision
- learning algorithm
- web image search
- machine learning