Login / Signup
Inverting Step-Reduced SHA-1 and MD5 by Parameterized SAT Solvers.
Oleg Zaikin
Published in:
CP (2024)
Keyphrases
</>
sat solvers
propositional satisfiability
orders of magnitude
sat solving
constraint satisfaction
max sat
search space
sat problem
search strategies
search tree
sat instances
boolean satisfiability
sat encodings
clause learning sat solvers
genetic algorithm
np complete
boolean formula