Login / Signup
Encoding Cryptographic Functions to SAT Using TRANSALG System.
Ilya V. Otpuschennikov
Alexander A. Semenov
Irina Gribanova
Oleg Zaikin
Stepan Kochemazov
Published in:
ECAI (2016)
Keyphrases
</>
sat encodings
pseudo boolean constraints
sat solvers
smart card
phase transition
satisfiability problem
boolean satisfiability
stochastic local search algorithms
data sets
logic programming
basis functions
search strategies
hash functions
fractal image compression
propositional satisfiability