Login / Signup
Encoding Cryptographic Functions to SAT Using Transalg System.
Ilya V. Otpuschennikov
Alexander A. Semenov
Irina Gribanova
Oleg Zaikin
Stepan Kochemazov
Published in:
CoRR (2016)
Keyphrases
</>
pseudo boolean constraints
smart card
search strategies
sat solvers
satisfiability problem
sat encodings
logic programming
np complete
encoding scheme