Solving Error Correction for Large Data Sets as Propositional Satisfiability