New paper about searching decompositions for SAT@home
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.



More...