@misc{indiciaee39836142094,
  title = {Encoding Cryptographic Functions to SAT Using Transalg System},
  author = {Ilya Otpuschennikov and Alexander Semenov and Irina Gribanova and Oleg Zaikin and Stepan Kochemazov},
  year = {2016},
  url = {https://arxiv.org/abs/1607.00888},
  note = {Source identifier: 1607.00888}
}