RSS
08-14-13, 04:58 AM
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] (http://arxiv.org/abs/1308.0761) 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] (http://arxiv.org/abs/1308.0761) ???? ???????? ?? arxiv.
More... (http://sat.isa.ru/pdsat/all_news.php#73)
?????? 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] (http://arxiv.org/abs/1308.0761) ???? ???????? ?? arxiv.
More... (http://sat.isa.ru/pdsat/all_news.php#73)