Paper Alexander Semenov and Oleg Zaikin. On estimating total time to solve SAT in distributed computing environments: Application to the SAT@home project. arXiv:1308.0761 [cs.AI] was published on arxiv.

?????? Alexander Semenov and Oleg Zaikin. On estimating total time to solve SAT in distributed computing environments: Application to the SAT@home project. arXiv:1308.0761 [cs.AI] ???? ???????? ?? arxiv.

More...