Login / Signup

Towards Better SAT Encodings for Hash Function Inversion Problems.

Stepan KochemazovOleg Zaikin
Published in: MIPRO (2024)
Keyphrases
  • hash functions
  • sat encodings
  • np complete
  • solving problems
  • integer linear programming
  • query processing
  • similarity search