@misc{indiciae04cd356a8723,
  title = {On estimating total time to solve SAT in distributed computing environments: Application to the SAT@home project},
  author = {Alexander Semenov and Oleg Zaikin},
  year = {2013},
  url = {https://arxiv.org/abs/1308.0761},
  note = {Source identifier: 1308.0761}
}