The SAT solving method as applied to cryptographic analysis of asymmetric ciphers - R. T. Faizullin; I. G. Khnykin; V. I. Dylkeyt (CoRR, 2009)