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

Alexander Semenov, Oleg Zaikin

This paper proposes a method to estimate the total time required to solve SAT in distributed environments via partitioning approach. It is based on the observation that for some si…