@misc{indiciae8cbafc081bd4,
  title = {The SAT solving method as applied to cryptographic analysis of asymmetric ciphers},
  author = {R. T. Faizullin and I. G. Khnykin and V. I. Dylkeyt},
  year = {2009},
  url = {https://arxiv.org/abs/0907.1755},
  note = {Source identifier: 0907.1755}
}