Random Minimum Satisfiability Solvers