@misc{indiciaedc4233de1c67,
  title = {Parallel algorithms for SAT in application to inversion problems of some discrete functions},
  author = {Alexander Semenov and Oleg Zaikin and Dmitry Bespalov and Mikhail Posypkin},
  year = {2011},
  url = {https://arxiv.org/abs/1102.3563},
  note = {Source identifier: 1102.3563}
}