# On estimating total time to solve SAT in distributed computing environments: Application to the [email protected] project

4 Aug 2013Alexander SemenovOleg 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 simple forms of problem partitioning one can use the Monte Carlo approach to estimate the time required to solve an original problem... (read more)

PDF Abstract