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

Alexander A. Semenov Oleg Zaikin

Published in: CoRR (2013)

Keyphrases

sat solvers
search algorithm
satisfiability problem
sat problem
stochastic local search
propositional satisfiability
search strategies
phase transition
solving hard
stochastic local search algorithms
information systems
sat instances
boolean satisfiability
sat solving
pseudo boolean constraints