@misc{indiciae63fa1ea7cd29,
  title = {Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT},
  author = {Ilya Otpuschennikov and Alexander Semenov and Stepan Kochemazov},
  year = {2015},
  url = {https://arxiv.org/abs/1405.1544},
  note = {Source identifier: 1405.1544}
}