TY  - RPRT
TI  - On estimating total time to solve SAT in distributed computing environments: Application to the SAT@home project
AU  - Alexander Semenov
AU  - Oleg Zaikin
PY  - 2013
UR  - https://arxiv.org/abs/1308.0761
ID  - 1308.0761
ER  -