On estimating total time to solve SAT in distributed computing environments: Application to the SAT@home project

Devs

On estimating total time to solve SAT in distributed computing environments: Application to the SAT@home project | Read Paper on Bytez