TY  - RPRT
TI  - The SAT solving method as applied to cryptographic analysis of asymmetric ciphers
AU  - R. T. Faizullin
AU  - I. G. Khnykin
AU  - V. I. Dylkeyt
PY  - 2009
UR  - https://arxiv.org/abs/0907.1755
ID  - 0907.1755
ER  -