Solving Error Correction for Large Data Sets by Means of a SAT Solver.

Renato Bruni

Browse the full SAT paper archive.